IOAPIC_REDTBL_LO
lo = db_ioapic_read(io_addr, IOAPIC_REDTBL_LO(i));
ioapic_write(io->io_addr, IOAPIC_REDTBL_LO(src->io_intpin),
ioapic_write(io->io_addr, IOAPIC_REDTBL_LO(src->io_intpin),
ioapic_write(io->io_addr, IOAPIC_REDTBL_LO(intpin->io_intpin),
ioapic_write(io->io_addr, IOAPIC_REDTBL_LO(intpin->io_intpin),
IOAPIC_REDTBL_LO(intpin->io_intpin));
IOAPIC_REDTBL_LO(intpin->io_intpin),
ioapic_write(io->io_addr, IOAPIC_REDTBL_LO(intpin->io_intpin),
ioapic_write(io->io_addr, IOAPIC_REDTBL_LO(intpin->io_intpin), low);
ioapic_write(io->io_addr, IOAPIC_REDTBL_LO(intpin->io_intpin),
#define IOAPIC_REDTBL_HI(i) (IOAPIC_REDTBL_LO(i) + 1)
value = ioapic_read(apic, IOAPIC_REDTBL_LO(i));
ioapic_write(apic, IOAPIC_REDTBL_LO(i), value | IOART_INTMSET);