diff --git a/sys/dev/efidev/efirt.c b/sys/dev/efidev/efirt.c
index 37b46ec38dad..8cada0d5061b 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_pflags & TDP_EFIRT) == 0);
+	MPASS((td->td_pflags & TDP_EFIRT) != 0);
 	td->td_pflags &= ~TDP_EFIRT;
 
 	efi_arch_leave();