Searched refs:PCB_KERNFPU_THR (Results 1 – 3 of 3) sorted by relevance
84 #define PCB_KERNFPU_THR 0x0020 /* fpu_kern_thread() */ macro
1227 if ((pcb->pcb_flags & PCB_KERNFPU_THR) == 0) in fpu_kern_leave()1229 } else if ((pcb->pcb_flags & PCB_KERNFPU_THR) == 0) in fpu_kern_leave()1252 set_pcb_flags(curpcb, PCB_KERNFPU | PCB_KERNFPU_THR); in fpu_kern_thread()1262 return ((curpcb->pcb_flags & PCB_KERNFPU_THR) != 0); in is_fpu_kern_thread()
162 PCB_KERNFPU | PCB_KERNFPU_THR); in copy_thread()164 MPASS((pcb2->pcb_flags & (PCB_KERNFPU | PCB_KERNFPU_THR)) == 0); in copy_thread()