Searched refs:PCB_KERN_FPU (Results 1 – 2 of 2) sorted by relevance
338 pcb->pcb_flags |= PCB_KERN_FPU | PCB_KERN_FPU_NOSAVE; in fpu_kern_enter()369 pcb->pcb_flags &= ~PCB_KERN_FPU; in fpu_kern_leave()382 return ((curpcb->pcb_flags & PCB_KERN_FPU) != 0); in is_fpu_kern_thread()
64 #define PCB_KERN_FPU 0x80 /* Kernel is using FPU/Vector unit */ macro