Searched refs:PCB_KERNFPU_THR (Results 1 – 2 of 2) sorted by relevance
87 #define PCB_KERNFPU_THR 0x20 /* fpu_kern_thread() */ macro
1233 if ((pcb->pcb_flags & PCB_KERNFPU_THR) == 0) in fpu_kern_leave()1235 } else if ((pcb->pcb_flags & PCB_KERNFPU_THR) == 0) in fpu_kern_leave()1258 set_pcb_flags(curpcb, PCB_KERNFPU | PCB_KERNFPU_THR); in fpu_kern_thread()1268 return ((curpcb->pcb_flags & PCB_KERNFPU_THR) != 0); in is_fpu_kern_thread()