K 10
svn:author
V 6
cognet
K 8
svn:date
V 27
2018-05-17T22:38:16.783751Z
K 7
svn:log
V 210
In vfp_save_state(), don't bother trying to save the VFP registers if the
provided PCB doesn't have a pcb_fpusaved. All PCBs associated to a thread
should have one, but the dumppcb used when panic'ing doesn't.

END