Lines Matching refs:region_num
754 static void pci_set_io_region_addr(PCIDevice *d, int region_num, uint32_t addr)
759 if ( region_num == PCI_ROM_SLOT ) {
762 ofs = 0x10 + region_num * 4;
768 BX_INFO("region %d: 0x%08x\n", region_num, addr);
772 if ( region_num == PCI_ROM_SLOT )
