ioapic_write
static void ioapic_write(volatile ioapic_t *apic, int reg, u_int val);
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_write(io->io_addr,
ioapic_write(io->io_addr, IOAPIC_REDTBL_HI(intpin->io_intpin),
ioapic_write(io->io_addr, IOAPIC_REDTBL_LO(intpin->io_intpin),
ioapic_write(io->io_addr, IOAPIC_REDTBL_HI(intpin->io_intpin), high);
ioapic_write(io->io_addr, IOAPIC_REDTBL_LO(intpin->io_intpin), low);
ioapic_write(io->io_addr, IOAPIC_REDTBL_LO(intpin->io_intpin),
ioapic_write(apic, IOAPIC_REDTBL_LO(i), value | IOART_INTMSET);