Searched refs:APIC_ICR1 (Results 1 – 2 of 2) sorted by relevance
28 APIC_ICR1 = 0x31, enumerator
171 dump_apic(apic_reg_buffer, APIC_ICR1); in dump_apics()