diff --git a/src/arch/i386/include/pci_io.h b/src/arch/i386/include/pci_io.h
new file mode 100644
index 00000000..dce45b13
--- /dev/null
+++ b/src/arch/i386/include/pci_io.h
@@ -0,0 +1,20 @@
+#ifndef PCI_IO_H
+#define PCI_IO_H
+
+/* %ah */
+#define PCIBIOS_PCI_FUNCTION_ID         ( 0xb1 )
+/* %al */
+#define PCIBIOS_PCI_BIOS_PRESENT        ( 0x01 )
+#define PCIBIOS_FIND_PCI_DEVICE         ( 0x02 )
+#define PCIBIOS_FIND_PCI_CLASS_CODE     ( 0x03 )
+#define PCIBIOS_GENERATE_SPECIAL_CYCLE  ( 0x06 )
+#define PCIBIOS_READ_CONFIG_BYTE        ( 0x08 )
+#define PCIBIOS_READ_CONFIG_WORD        ( 0x09 )
+#define PCIBIOS_READ_CONFIG_DWORD       ( 0x0a )
+#define PCIBIOS_WRITE_CONFIG_BYTE       ( 0x0b )
+#define PCIBIOS_WRITE_CONFIG_WORD       ( 0x0c )
+#define PCIBIOS_WRITE_CONFIG_DWORD      ( 0x0d )
+#define PCIBIOS_GET_IRQ_ROUTING_OPTIONS	( 0x0e )
+#define PCIBIOS_SET_PCI_IRQ		( 0x0f )
+
+#endif /* PCI_IO_H */