diff --git a/sys/compat/linuxkpi/common/include/asm/hypervisor.h b/sys/compat/linuxkpi/common/include/asm/hypervisor.h
new file mode 100644
index 000000000000..f344a2929359
--- /dev/null
+++ b/sys/compat/linuxkpi/common/include/asm/hypervisor.h
@@ -0,0 +1,19 @@
+/* Public domain. */
+
+#ifndef _LINUXKPI_ASM_HYPERVISOR_H
+#define _LINUXKPI_ASM_HYPERVISOR_H
+
+#if defined(__i386__) || defined(__amd64__)
+
+#define X86_HYPER_NATIVE	1
+#define X86_HYPER_MS_HYPERV	2
+
+static inline bool
+hypervisor_is_type(int type)
+{
+	return (type == X86_HYPER_NATIVE);
+}
+
+#endif
+
+#endif
diff --git a/sys/compat/linuxkpi/dummy/include/asm/hypervisor.h b/sys/compat/linuxkpi/dummy/include/asm/hypervisor.h
deleted file mode 100644
index e69de29bb2d1..000000000000