diff --git a/sys/amd64/vmm/vmm_dev.c b/sys/amd64/vmm/vmm_dev.c
--- a/sys/amd64/vmm/vmm_dev.c
+++ b/sys/amd64/vmm/vmm_dev.c
@@ -460,6 +460,8 @@
 	case VM_SET_INTINFO:
 	case VM_GET_INTINFO:
 	case VM_RESTART_INSTRUCTION:
+	case VM_GET_KERNEMU_DEV:
+	case VM_SET_KERNEMU_DEV:
 		/*
 		 * ioctls that can operate only on vcpus that are not running.
 		 */