PCB_KERNFPU_THR
if ((pcb->pcb_flags & PCB_KERNFPU_THR) == 0)
} else if ((pcb->pcb_flags & PCB_KERNFPU_THR) == 0)
set_pcb_flags(curpcb, PCB_KERNFPU | PCB_KERNFPU_THR);
return ((curpcb->pcb_flags & PCB_KERNFPU_THR) != 0);
PCB_KERNFPU | PCB_KERNFPU_THR);
MPASS((pcb2->pcb_flags & (PCB_KERNFPU | PCB_KERNFPU_THR)) == 0);