diff --git a/drivers/xen/pci.c b/drivers/xen/pci.c
index 188825122aae8a037bccc8255dbd43211ca6a941..dd9c249ea3118f1e16d05289ff4af766c49d886f 100644
--- a/drivers/xen/pci.c
+++ b/drivers/xen/pci.c
@@ -26,7 +26,9 @@
 #include <asm/xen/hypervisor.h>
 #include <asm/xen/hypercall.h>
 #include "../pci/pci.h"
+#ifdef CONFIG_PCI_MMCONFIG
 #include <asm/pci_x86.h>
+#endif
 
 static bool __read_mostly pci_seg_supported = true;