PCB_KERN_FPU
pcb->pcb_flags |= PCB_KERN_FPU | PCB_KERN_FPU_NOSAVE;
pcb->pcb_flags &= ~PCB_KERN_FPU;
return ((curpcb->pcb_flags & PCB_KERN_FPU) != 0);