--- /dev/null
+#include <hal/pci.h>
+#include <sys/port_io.h>
+
+#ifdef CONFIG_PCI_PMIO
+#define PCI_CONFIG_ADDR 0xcf8
+#define PCI_CONFIG_DATA 0xcfc
+
+pci_reg_t
+pci_read_cspace(ptr_t base, int offset)
+{
+ port_wrdword(PCI_CONFIG_ADDR, base | (offset & ~0x3));
+ return port_rddword(PCI_CONFIG_DATA);
+}
+
+void
+pci_write_cspace(ptr_t base, int offset, pci_reg_t data)
+{
+ port_wrdword(PCI_CONFIG_ADDR, base | (offset & ~0x3));
+ 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;
+}
+