1 /* 2 * pci/pci.h 3 * 4 * Common internal header file 5 */ 6 7 #ifndef PCI_PCI_H 8 9 #include <sys/pci.h> 10 #include <sys/cpu.h> 11 12 extern enum pci_config_type __pci_cfg_type; 13 extern uint32_t __pci_read_write_bios(uint32_t call, uint32_t v, pciaddr_t a); 14 15 #endif /* PCI_PCI_H */ 16