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