Symbol: IOAPIC_REDHI
sys/arch/x86/x86/ioapic.c
239
uint32_t redirhi = ioapic_read(sc, IOAPIC_REDHI(pin));
sys/arch/x86/x86/ioapic.c
366
ioapic_write(sc, IOAPIC_REDHI(i), redhi);
sys/arch/x86/x86/ioapic.c
450
ioapic_write(sc, IOAPIC_REDHI(pin), redhi);