diff --git a/hypervisor/arch/x86/mmu.c b/hypervisor/arch/x86/mmu.c
index b834fb232..e5c539cc4 100644
--- a/hypervisor/arch/x86/mmu.c
+++ b/hypervisor/arch/x86/mmu.c
@@ -31,7 +31,7 @@
 #include <reloc.h>
 
 static void *ppt_mmu_pml4_addr;
-static void *sanitized_page[CPU_PAGE_SIZE];
+static uint8_t sanitized_page[PAGE_SIZE] __aligned(PAGE_SIZE);
 
 static struct vmx_capability {
 	uint32_t ept;