PCB_KERNNPX_THR
if ((pcb->pcb_flags & PCB_KERNNPX_THR) == 0)
} else if ((pcb->pcb_flags & PCB_KERNNPX_THR) == 0)
curpcb->pcb_flags |= PCB_KERNNPX | PCB_KERNNPX_THR;
return ((curpcb->pcb_flags & PCB_KERNNPX_THR) != 0);
PCB_KERNNPX | PCB_KERNNPX_THR);
MPASS((pcb2->pcb_flags & (PCB_KERNNPX | PCB_KERNNPX_THR)) == 0);