Searched refs:ISR_BASE (Results 1 – 2 of 2) sorted by relevance
147 ISR_BASE = 0x10, enumerator247 (LAPIC_READ_OFFSET(ISR_BASE,(base+LAPIC_##src##_INTERRUPT)/32) \
564 kprintf("%08x", LAPIC_READ_OFFSET(ISR_BASE, i)); in lapic_dump()1096 (LAPIC_READ_OFFSET(ISR_BASE, i) != 0)) { in lapic_is_interrupt_pending()1116 isr = LAPIC_READ_OFFSET(ISR_BASE, i); in lapic_is_interrupting()1140 isr = LAPIC_READ_OFFSET(ISR_BASE, i); in lapic_interrupt_counts()