PCB_NPXINITDONE
curthread->td_pcb->pcb_flags &= ~(PCB_NPXINITDONE |
pcb->pcb_flags |= PCB_NPXINITDONE;
pcb->pcb_flags |= PCB_NPXUSERINITDONE | PCB_NPXINITDONE;
pcb->pcb_flags |= PCB_KERNNPX | PCB_NPXNOSAVE | PCB_NPXINITDONE;
if ((pcb->pcb_flags & PCB_NPXINITDONE) != 0)
pcb->pcb_flags &= ~PCB_NPXINITDONE;
pcb->pcb_flags &= ~(PCB_NPXNOSAVE | PCB_NPXINITDONE);
pcb->pcb_flags |= PCB_NPXINITDONE;
pcb->pcb_flags &= ~(PCB_NPXINITDONE | PCB_KERNNPX);
pcb->pcb_flags |= PCB_NPXINITDONE;
pcb->pcb_flags &= ~PCB_NPXINITDONE;
if ((pcb->pcb_flags & PCB_NPXINITDONE) == 0) {
pcb->pcb_flags |= PCB_NPXINITDONE;
td->td_pcb->pcb_flags &= ~PCB_NPXINITDONE;
if ((pcb->pcb_flags & PCB_NPXINITDONE) == 0) {
pcb2->pcb_flags &= ~(PCB_NPXINITDONE | PCB_NPXUSERINITDONE |