HomeFreeBSD

Instead of ignoring the VFP registers, set the dumppcb's pcb_fpusaved

Description

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

Details

Provenance
cognetAuthored on
Reviewer
andrew
Parents
rS333790: Release mmacy from mentorship.
Branches
Unknown
Tags
Unknown