Searched refs:PCB_KERNFPU (Results 1 – 4 of 4) sorted by relevance
52 #define PCB_USER_FPU(pcb) (((pcb)->pcb_flags & PCB_KERNFPU) == 0)
84 #define PCB_KERNFPU 0x04 /* kernel uses fpu */ macro
1177 set_pcb_flags(pcb, PCB_KERNFPU | PCB_FPUNOSAVE | in fpu_kern_enter()1194 set_pcb_flags(pcb, PCB_KERNFPU); in fpu_kern_enter()1234 clear_pcb_flags(pcb, PCB_KERNFPU); in fpu_kern_leave()1236 clear_pcb_flags(pcb, PCB_FPUINITDONE | PCB_KERNFPU); in fpu_kern_leave()1258 set_pcb_flags(curpcb, PCB_KERNFPU | PCB_KERNFPU_THR); in fpu_kern_thread()
574 PCB_KERNFPU); in cpu_copy_thread()