IOAPIC_REDHI
u_int32_t redirhi = ioapic_read(sc, IOAPIC_REDHI(pin));
ioapic_write(sc, IOAPIC_REDHI(pin), redhi);
u_int32_t redirhi = ioapic_read(sc, IOAPIC_REDHI(pin));
ioapic_write(sc, IOAPIC_REDHI(pin), redhi);