APIC_ENT0_VEC
ent0 = (31 - irq) & APIC_ENT0_VEC;
htole32((31 - irq) & APIC_ENT0_VEC));
elroy_write32(&r->apic_eoi, htole32((31 - irq) & APIC_ENT0_VEC));