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