Symbol: IOAPIC_REDTBL_HI
sys/x86/x86/io_apic.c
1226
hi = db_ioapic_read(io_addr, IOAPIC_REDTBL_HI(i));
sys/x86/x86/io_apic.c
353
ioapic_write(io->io_addr, IOAPIC_REDTBL_HI(intpin->io_intpin),
sys/x86/x86/io_apic.c
423
ioapic_write(io->io_addr, IOAPIC_REDTBL_HI(intpin->io_intpin), high);