From eeb4c816d6d5f36fdc51790948ffaaadf4d9c657 Mon Sep 17 00:00:00 2001
From: John Baldwin <jhb@FreeBSD.org>
Date: Mon, 19 Oct 2020 17:35:45 +0000
Subject: [PATCH] Properly clear PCB_KERNNPX in fpu_kern_leave().

PR:		250423
Reported by:	CI
Tested by:	lwhsu
---
 sys/i386/i386/npx.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sys/i386/i386/npx.c b/sys/i386/i386/npx.c
index d3c285b43ec..55784665b59 100644
--- a/sys/i386/i386/npx.c
+++ b/sys/i386/i386/npx.c
@@ -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 {