diff --git a/sys/dev/hyperv/vmbus/vmbus.c b/sys/dev/hyperv/vmbus/vmbus.c
--- a/sys/dev/hyperv/vmbus/vmbus.c
+++ b/sys/dev/hyperv/vmbus/vmbus.c
@@ -1366,7 +1366,8 @@
 {
 
 	if (device_get_unit(dev) != 0 || vm_guest != VM_GUEST_HV ||
-	    (hyperv_features & CPUID_HV_MSR_SYNIC) == 0)
+	    (hyperv_features & CPUID_HV_MSR_SYNIC) == 0 ||
+	    PAGE_SIZE != 4096)
 		return (ENXIO);
 
 	device_set_desc(dev, "Hyper-V Vmbus");
diff --git a/sys/dev/hyperv/vmbus/vmbus_reg.h b/sys/dev/hyperv/vmbus/vmbus_reg.h
--- a/sys/dev/hyperv/vmbus/vmbus_reg.h
+++ b/sys/dev/hyperv/vmbus/vmbus_reg.h
@@ -102,7 +102,7 @@
 			mnf_param[VMBUS_MONTRIGS_MAX][VMBUS_MONTRIG_LEN];
 	uint8_t		mnf_rsvd4[1984];
 } __packed;
-CTASSERT(sizeof(struct vmbus_mnf) == PAGE_SIZE);
+CTASSERT(sizeof(struct vmbus_mnf) == 4096);
 
 /*
  * Buffer ring
@@ -165,7 +165,7 @@
 		uint32_t value;
 	} br_feature_bits;
 
-	/* Padding to PAGE_SIZE */
+	/* Padding to 4096 */
 	uint8_t			br_rsvd2[4020];
 
 	/*
@@ -180,7 +180,7 @@
 
 	uint8_t			br_data[];
 } __packed;
-CTASSERT(sizeof(struct vmbus_bufring) == PAGE_SIZE);
+CTASSERT(sizeof(struct vmbus_bufring) == 4096);
 
 /*
  * Channel