Searched refs:PCB_KERNFPU (Results 1 – 4 of 4) sorted by relevance
1175 set_pcb_flags(pcb, PCB_KERNFPU | PCB_FPUNOSAVE | in fpu_kern_enter()1192 set_pcb_flags(pcb, PCB_KERNFPU); in fpu_kern_enter()1232 clear_pcb_flags(pcb, PCB_KERNFPU); in fpu_kern_leave()1234 clear_pcb_flags(pcb, PCB_FPUINITDONE | PCB_KERNFPU); in fpu_kern_leave()1256 set_pcb_flags(curpcb, PCB_KERNFPU | PCB_KERNFPU_THR); in 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()
49 #define PCB_USER_FPU(pcb) (((pcb)->pcb_flags & PCB_KERNFPU) == 0)
81 #define PCB_KERNFPU 0x0004 /* kernel uses fpu */ macro