Searched refs:PCB_KERNNPX (Results 1 – 4 of 4) sorted by relevance
86 #define PCB_KERNNPX 0x40 /* kernel uses npx */ macro
49 #define PCB_USER_FPU(pcb) (((pcb)->pcb_flags & PCB_KERNNPX) == 0)
1431 pcb->pcb_flags |= PCB_KERNNPX | PCB_NPXNOSAVE | PCB_NPXINITDONE; in fpu_kern_enter()1448 pcb->pcb_flags |= PCB_KERNNPX; in fpu_kern_enter()1488 pcb->pcb_flags &= ~PCB_KERNNPX; in fpu_kern_leave()1490 pcb->pcb_flags &= ~(PCB_NPXINITDONE | PCB_KERNNPX); in fpu_kern_leave()1512 curpcb->pcb_flags |= PCB_KERNNPX | PCB_KERNNPX_THR; in fpu_kern_thread()
166 PCB_KERNNPX | PCB_KERNNPX_THR); in copy_thread()168 MPASS((pcb2->pcb_flags & (PCB_KERNNPX | PCB_KERNNPX_THR)) == 0); in copy_thread()