Searched refs:PCB_KERNNPX (Results 1 – 4 of 4) sorted by relevance
89 #define PCB_KERNNPX 0x40 /* kernel uses npx */ macro
52 #define PCB_USER_FPU(pcb) (((pcb)->pcb_flags & PCB_KERNNPX) == 0)
1450 pcb->pcb_flags |= PCB_KERNNPX | PCB_NPXNOSAVE | PCB_NPXINITDONE; in fpu_kern_enter()1467 pcb->pcb_flags |= PCB_KERNNPX; in fpu_kern_enter()1507 pcb->pcb_flags &= ~PCB_KERNNPX; in fpu_kern_leave()1509 pcb->pcb_flags &= ~(PCB_NPXINITDONE | PCB_KERNNPX); in fpu_kern_leave()1531 curpcb->pcb_flags |= PCB_KERNNPX | PCB_KERNNPX_THR; in fpu_kern_thread()
438 PCB_KERNNPX); in cpu_copy_thread()