Instead of ignoring the VFP registers, set the dumppcb's pcb_fpusaved
field, so that they are saved, as they may be used in the kernel, in the
EFI and the crypto code.
Reviewed by: andrew
Instead of ignoring the VFP registers, set the dumppcb's pcb_fpusaved Tags None Referenced Files None Subscribers None
Description
Details
|