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) \
565 kprintf("%08x", LAPIC_READ_OFFSET(ISR_BASE, i)); in lapic_dump()1097 (LAPIC_READ_OFFSET(ISR_BASE, i) != 0)) { in lapic_is_interrupt_pending()1117 isr = LAPIC_READ_OFFSET(ISR_BASE, i); in lapic_is_interrupting()1141 isr = LAPIC_READ_OFFSET(ISR_BASE, i); in lapic_interrupt_counts()