diff --git a/sys/arm64/include/vmm.h b/sys/arm64/include/vmm.h
index cf00dd60a43f..05b013557c06 100644
--- a/sys/arm64/include/vmm.h
+++ b/sys/arm64/include/vmm.h
@@ -201,13 +201,6 @@ cpuset_t vm_active_cpus(struct vm *vm);
 cpuset_t vm_debug_cpus(struct vm *vm);
 cpuset_t vm_suspended_cpus(struct vm *vm);
 
-static __inline bool
-virt_enabled(void)
-{
-
-	return (has_hyp());
-}
-
 static __inline int
 vcpu_rendezvous_pending(struct vm_eventinfo *info)
 {
diff --git a/sys/arm64/vmm/vmm_arm64.c b/sys/arm64/vmm/vmm_arm64.c
index 6b058a993cdd..1b61871014a7 100644
--- a/sys/arm64/vmm/vmm_arm64.c
+++ b/sys/arm64/vmm/vmm_arm64.c
@@ -239,7 +239,7 @@ vmmops_modinit(int ipinum)
 	int cpu, i;
 	bool rv __diagused;
 
-	if (!virt_enabled()) {
+	if (!has_hyp()) {
 		printf(
 		    "vmm: Processor doesn't have support for virtualization\n");
 		return (ENXIO);