platform_mmio      29 drivers/xen/platform-pci.c static unsigned long platform_mmio;
platform_mmio      38 drivers/xen/platform-pci.c 	addr = platform_mmio + platform_mmio_alloc;
platform_mmio     127 drivers/xen/platform-pci.c 	platform_mmio = mmio_addr;