unsigned int x86_pci_read_config32(pci_dev_t dev, unsigned where) { uint32_t value; pci_hose_read_config_dword(get_hose(), dev, where, &value); return value; }
unsigned int x86_pci_read_config8(pci_dev_t dev, unsigned where) { uint8_t value; pci_hose_read_config_byte(get_hose(), dev, where, &value); return value; }
unsigned int x86_pci_read_config16(pci_dev_t dev, unsigned where) { uint16_t value; if (pci_hose_read_config_word(get_hose(), dev, where, &value)) return -1U; return value; }
void x86_pci_write_config32(pci_dev_t dev, unsigned where, unsigned value) { pci_hose_write_config_dword(get_hose(), dev, where, value); }
void x86_pci_write_config8(pci_dev_t dev, unsigned where, unsigned value) { pci_hose_write_config_byte(get_hose(), dev, where, value); }