PCB_FPUNOSAVE
KASSERT((pcb->pcb_flags & PCB_FPUNOSAVE) == 0,
set_pcb_flags(pcb, PCB_KERNFPU | PCB_FPUNOSAVE |
if ((pcb->pcb_flags & PCB_FPUNOSAVE) != 0) {
clear_pcb_flags(pcb, PCB_FPUNOSAVE | PCB_FPUINITDONE);
KASSERT((curpcb->pcb_flags & PCB_FPUNOSAVE) == 0,