diff --git a/sys/dev/efidev/efirt.c b/sys/dev/efidev/efirt.c
index 92ffeae1273..a74ce9fa9a0 100644
--- a/sys/dev/efidev/efirt.c
+++ b/sys/dev/efidev/efirt.c
@@ -323,7 +323,7 @@ efi_leave(void)
 	pmap_t curpmap;
 
 	td = curthread;
-	MPASS((td->td_pflags2 & TDP2_EFIRT) == 0);
+	MPASS((td->td_pflags2 & TDP2_EFIRT) != 0);
 	td->td_pflags2 &= ~TDP2_EFIRT;
 
 	efi_arch_leave();