elroy_read32
bus = le32toh(elroy_read32(&r->busnum)) & 0xff;
elroy_read32(&r->apic_data);
return le32toh(elroy_read32(&r->apic_data));
elroy_write32(&r->control, elroy_read32(&r->control) &
elroy_read32(&r->status) & htole32(ELROY_STATUS_RC); DELAY(10));
sc->sc_ver = PCI_REVISION(le32toh(elroy_read32(&r->pci_class)));
arb_mask = elroy_read32(&r->arb_mask);
err_cfg = elroy_read32(&r->err_cfg);
control = elroy_read32(&r->control);
(void)elroy_read32(&r->pci_conf_addr);
data = elroy_read32(&r->pci_conf_data);
arb_mask = elroy_read32(&r->arb_mask);
err_cfg = elroy_read32(&r->err_cfg);
control = elroy_read32(&r->control);
(void)elroy_read32(&r->pci_conf_addr);
(void)elroy_read32(&r->pci_conf_data);
(void)elroy_read32(&r->pci_conf_addr);
(void)elroy_read32(&r->pci_conf_addr);
uint32_t elroy_read32(volatile uint32_t *);
uint32_t elroy_read32(volatile uint32_t *);