Searched refs:pci_bios_io_addr (Results 1 – 1 of 1) sorted by relevance
711 static uint32_t pci_bios_io_addr; variable999 paddr = &pci_bios_io_addr; in pci_bios_init_device()1053 pci_bios_io_addr = 0xc000; in pci_bios_init()