[pci] Formalise the PCI I/O API