Searched refs:lapic_esr_read (Results 1 – 1 of 1) sorted by relevance
435 lapic_esr_read(void) in lapic_esr_read() function547 kprintf("ESR: %08x \n", lapic_esr_read()); in lapic_dump()955 esr = lapic_esr_read(); in lapic_interrupt()