platform_mmio_alloc   30 drivers/xen/platform-pci.c static unsigned long platform_mmio_alloc;
platform_mmio_alloc   38 drivers/xen/platform-pci.c 	addr = platform_mmio + platform_mmio_alloc;
platform_mmio_alloc   39 drivers/xen/platform-pci.c 	platform_mmio_alloc += len;
platform_mmio_alloc   40 drivers/xen/platform-pci.c 	BUG_ON(platform_mmio_alloc > platform_mmiolen);