Searched refs:__pci_read_write_bios (Results 1 – 4 of 4) sorted by relevance
13 extern uint32_t __pci_read_write_bios(uint32_t call, uint32_t v, pciaddr_t a);
5 uint32_t __pci_read_write_bios(uint32_t call, uint32_t v, pciaddr_t a) in __pci_read_write_bios() function
43 __pci_read_write_bios(BIOSCALL, v, a); in BWL()
45 return (TYPE) __pci_read_write_bios(BIOSCALL, 0, a); in BWL()