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