Searched refs:PCB_KERNNPX (Results 1 – 4 of 4) sorted by relevance
88 #define PCB_KERNNPX 0x40 /* kernel uses npx */ macro
51 #define PCB_USER_FPU(pcb) (((pcb)->pcb_flags & PCB_KERNNPX) == 0)
1459 pcb->pcb_flags |= PCB_KERNNPX | PCB_NPXNOSAVE | PCB_NPXINITDONE; in fpu_kern_enter()1476 pcb->pcb_flags |= PCB_KERNNPX; in fpu_kern_enter()1516 pcb->pcb_flags &= ~PCB_KERNNPX; in fpu_kern_leave()1518 pcb->pcb_flags &= ~(PCB_NPXINITDONE | PCB_KERNNPX); in fpu_kern_leave()1540 curpcb->pcb_flags |= PCB_KERNNPX | PCB_KERNNPX_THR; in fpu_kern_thread()
168 PCB_KERNNPX | PCB_KERNNPX_THR); in copy_thread()170 MPASS((pcb2->pcb_flags & (PCB_KERNNPX | PCB_KERNNPX_THR)) == 0); in copy_thread()