Searched refs:system_bios_region (Results 1 – 1 of 1) sorted by relevance
131 void *system_bios_region = paddr_guest2host(pi->pi_vmctx, in pci_hostbridge_init() local133 assert(system_bios_region != NULL); in pci_hostbridge_init()134 bzero(system_bios_region, len); in pci_hostbridge_init()