PCB_KERN_FPU_NOSAVE
KASSERT((pcb->pcb_flags & PCB_KERN_FPU_NOSAVE) == 0,
pcb->pcb_flags |= PCB_KERN_FPU | PCB_KERN_FPU_NOSAVE;
if ((pcb->pcb_flags & PCB_KERN_FPU_NOSAVE) != 0) {
pcb->pcb_flags &= ~PCB_KERN_FPU_NOSAVE;