diff --git a/usr.sbin/bhyve/aarch64/bhyverun_machdep.c b/usr.sbin/bhyve/aarch64/bhyverun_machdep.c
--- a/usr.sbin/bhyve/aarch64/bhyverun_machdep.c
+++ b/usr.sbin/bhyve/aarch64/bhyverun_machdep.c
@@ -396,6 +396,9 @@
 	pci_irq_init(pcie_intrs);
 	fdt_add_pcie(pcie_intrs);
 
+	/* Mark CPU0 as running */
+	CPU_SET(0, &running_cpumask);
+
 	return (0);
 }
 
diff --git a/usr.sbin/bhyve/aarch64/vmexit.c b/usr.sbin/bhyve/aarch64/vmexit.c
--- a/usr.sbin/bhyve/aarch64/vmexit.c
+++ b/usr.sbin/bhyve/aarch64/vmexit.c
@@ -54,7 +54,7 @@
 #include "mem.h"
 #include "vmexit.h"
 
-static cpuset_t running_cpumask;
+cpuset_t running_cpumask;
 
 static int
 vmexit_inst_emul(struct vmctx *ctx __unused, struct vcpu *vcpu,