diff --git a/hypervisor/arch/x86/Makefile b/hypervisor/arch/x86/Makefile
index bb5a7ca72..857ad6d30 100644
--- a/hypervisor/arch/x86/Makefile
+++ b/hypervisor/arch/x86/Makefile
@@ -68,6 +68,8 @@ HW_C_SRCS += arch/x86/platform_caps.c
 HW_C_SRCS += arch/x86/security.c
 HW_C_SRCS += arch/x86/mmu.c
 HW_C_SRCS += arch/x86/e820.c
+HW_C_SRCS += arch/x86/pagemisc.c
+HW_C_SRCS += arch/x86/pgtable.c
 HW_C_SRCS += arch/x86/notify.c
 HW_C_SRCS += arch/x86/vtd.c
 HW_C_SRCS += arch/x86/gdt.c