Properly clear PCB_KERNNPX in fpu_kern_leave().

PR:		250423
Reported by:	CI
Tested by:	lwhsu
This commit is contained in:
John Baldwin 2020-10-19 17:35:45 +00:00
parent 4caea9b169
commit eeb4c816d6

View file

@ -1475,7 +1475,7 @@ fpu_kern_leave(struct thread *td, struct fpu_kern_ctx *ctx)
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 {