platform_mmiolen   31 drivers/xen/platform-pci.c static unsigned long platform_mmiolen;
platform_mmiolen   40 drivers/xen/platform-pci.c 	BUG_ON(platform_mmio_alloc > platform_mmiolen);
platform_mmiolen  128 drivers/xen/platform-pci.c 	platform_mmiolen = mmio_len;