diff --git a/sys/arm64/vmm/vmm_arm64.c b/sys/arm64/vmm/vmm_arm64.c
--- a/sys/arm64/vmm/vmm_arm64.c
+++ b/sys/arm64/vmm/vmm_arm64.c
@@ -1108,7 +1108,7 @@
 			 * Update fields that may change on exeption entry
 			 * based on how sctlr_el1 is configured.
 			 */
-			if ((hypctx->sctlr_el1 & SCTLR_SPAN) != 0)
+			if ((hypctx->sctlr_el1 & SCTLR_SPAN) == 0)
 				hypctx->tf.tf_spsr |= PSR_PAN;
 			if ((hypctx->sctlr_el1 & SCTLR_DSSBS) == 0)
 				hypctx->tf.tf_spsr &= ~PSR_SSBS;