i386/isa/npx.c

885 	if ((curpcb->pcb_flags & PCB_NPXINITDONE) == 0) {
900 		curpcb->pcb_flags |= PCB_NPXINITDONE;
902 			curpcb->pcb_flags |= PCB_NPXUSERINITDONE;
989 	td->td_pcb->pcb_flags &= ~PCB_NPXINITDONE;
1013 	if ((pcb->pcb_flags & PCB_NPXINITDONE) == 0) {
1071 		pcb->pcb_flags |= PCB_NPXINITDONE;
1072 	pcb->pcb_flags |= PCB_NPXUSERINITDONE;
1142 		pcb->pcb_flags |= PCB_NPXUSERINITDONE | PCB_NPXINITDONE;
1326 	if ((pcb->pcb_flags & PCB_NPXINITDONE) != 0)
1331 	pcb->pcb_flags |= PCB_KERNNPX;
1332 	pcb->pcb_flags &= ~PCB_NPXINITDONE;
1350 		if ((pcb->pcb_flags & PCB_NPXUSERINITDONE) != 0)
1351 			pcb->pcb_flags |= PCB_NPXINITDONE;
1353 			pcb->pcb_flags &= ~PCB_NPXINITDONE;
1354 		pcb->pcb_flags &= ~PCB_KERNNPX;
1357 			pcb->pcb_flags |= PCB_NPXINITDONE;
1359 			pcb->pcb_flags &= ~PCB_NPXINITDONE;
1375 	curpcb->pcb_flags |= PCB_KERNNPX;
1385 	return ((curpcb->pcb_flags & PCB_KERNNPX) != 0);