PCI_CONFIG_MMIO_LENGTH
PCI_CONFIG_MMIO_LENGTH, 0x1000, false);
vmbus_free_mmio(hbus->mem_config->start, PCI_CONFIG_MMIO_LENGTH);
PCI_CONFIG_MMIO_LENGTH);
#define CFG_PAGE_SIZE (PCI_CONFIG_MMIO_LENGTH - CFG_PAGE_OFFSET)