elroy_write32
elroy_write32(&r->apic_eoi,
elroy_write32(&r->apic_eoi, htole32((31 - irq) & APIC_ENT0_VEC));
elroy_write32(&r->apic_addr, htole32(reg));
elroy_write32(&r->apic_data, htole32(val));
elroy_write32(&r->apic_addr, htole32(reg));
elroy_write32(&r->pci_cmdstat, htole32(PCI_COMMAND_IO_ENABLE |
elroy_write32(&r->control, elroy_read32(&r->control) &
elroy_write32(&r->imask, htole32(0xffffffff << 30));
elroy_write32(&r->ibase, htole32(ELROY_BASE_RE));
elroy_write32(&r->arb_mask, htole32(ELROY_ARB_ENABLE));
elroy_write32(&r->err_cfg, err_cfg |
elroy_write32(&r->control, (control | htole32(ELROY_CONTROL_CE)) &
elroy_write32(&r->pci_conf_addr, htole32(tag | reg));
elroy_write32(&r->control, control |
elroy_write32(&r->control, control);
elroy_write32(&r->err_cfg, err_cfg);
elroy_write32(&r->arb_mask, arb_mask);
elroy_write32(&r->arb_mask, htole32(ELROY_ARB_ENABLE));
elroy_write32(&r->err_cfg, err_cfg |
elroy_write32(&r->control, (control | htole32(ELROY_CONTROL_CE)) &
elroy_write32(&r->pci_conf_addr, htole32(tag | PCI_ID_REG));
elroy_write32(&r->pci_conf_addr, htole32(tag | reg));
elroy_write32(&r->pci_conf_data, htole32(data));
elroy_write32(&r->control, control |
elroy_write32(&r->control, control);
elroy_write32(&r->err_cfg, err_cfg);
elroy_write32(&r->arb_mask, arb_mask);
void elroy_write32(volatile uint32_t *, uint32_t);
void elroy_write32(volatile uint32_t *, uint32_t);