Index: sys/i386/i386/npx.c =================================================================== --- sys/i386/i386/npx.c (revision 366815) +++ sys/i386/i386/npx.c (working copy) @@ -1475,7 +1475,7 @@ if ((pcb->pcb_flags & PCB_NPXUSERINITDONE) != 0) { pcb->pcb_flags |= PCB_NPXINITDONE; if ((pcb->pcb_flags & PCB_KERNNPX_THR) == 0) - pcb->pcb_flags |= ~PCB_KERNNPX; + pcb->pcb_flags &= ~PCB_KERNNPX; } else if ((pcb->pcb_flags & PCB_KERNNPX_THR) == 0) pcb->pcb_flags &= ~(PCB_NPXINITDONE | PCB_KERNNPX); } else {