PCB_NPXNOSAVE
KASSERT((pcb->pcb_flags & PCB_NPXNOSAVE) == 0,
pcb->pcb_flags |= PCB_KERNNPX | PCB_NPXNOSAVE | PCB_NPXINITDONE;
if ((pcb->pcb_flags & PCB_NPXNOSAVE) != 0) {
pcb->pcb_flags &= ~(PCB_NPXNOSAVE | PCB_NPXINITDONE);
KASSERT((curpcb->pcb_flags & PCB_NPXNOSAVE) == 0,