/*
* pci/pci.h
*
* Common internal header file
*/
#ifndef PCI_PCI_H
#include <sys/pci.h>
#include <sys/cpu.h>
extern enum pci_config_type __pci_cfg_type;
extern uint32_t __pci_read_write_bios(uint32_t call, uint32_t v, pciaddr_t a);
#endif /* PCI_PCI_H */