static UINT32 virtio_read32(UINT16 base, UINT16 offset) { return IO_In32(base+offset); }
fastcall uint32 PCI_ConfigRead32(const PCIAddress *addr, uint16 offset) { IO_Out32(PCI_REG_CONFIG_ADDRESS, PCIConfigPackAddress(addr, offset)); return IO_In32(PCI_REG_CONFIG_DATA); }