Searched refs:IOAPIC_REDTBL_HI (Results 1 – 1 of 1) sorted by relevance
63 #define IOAPIC_REDTBL_HI(i) (IOAPIC_REDTBL_LO(i) + 1) macro352 ioapic_write(io->io_addr, IOAPIC_REDTBL_HI(intpin->io_intpin), in ioapic_program_intpin()405 ioapic_write(io->io_addr, IOAPIC_REDTBL_HI(intpin->io_intpin), high); in ioapic_program_intpin()1207 hi = db_ioapic_read(io_addr, IOAPIC_REDTBL_HI(i)); in db_show_ioapic_one()