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

Committed
cognetMay 18 2018, 1:28 PM
Reviewer
andrew
Parents
rS333790: Release mmacy from mentorship.
Branches
Unknown
Tags
Unknown