--- a/xen/arch/x86/x86_64/mmconfig_64.c       2011-10-20 15:05:49.000000000 -0200
+++ b/xen/arch/x86/x86_64/mmconfig_64.c	      2012-02-14 23:45:47.481729733 -0200
@@ -23,7 +23,7 @@
     char __iomem *virt;
 };
 static struct mmcfg_virt *pci_mmcfg_virt;
-static int __initdata mmcfg_pci_segment_shift;
+static unsigned int mmcfg_pci_segment_shift;
 
 static char __iomem *get_virt(unsigned int seg, unsigned bus)
 {