#include <hal/pci.h>
-#include <sys/port_io.h>
+#include <asm/x86_pmio.h>
#ifdef CONFIG_PCI_PMIO
#define PCI_CONFIG_ADDR 0xcf8
port_wrdword(PCI_CONFIG_DATA, data);
}
-#endif
-
-u16_t
-pci_config_msi_data(int vector) {
- return vector;
-}
-
-ptr_t
-pci_get_msi_base() {
- return 0xFEE00000;
-}
-
+#endif
\ No newline at end of file