Searched refs:LAPIC_LVT_CMCI (Results 1 – 2 of 2) sorted by relevance
229 LAPIC_LVT_CMCI = 0x2f, enumerator
676 printf(" cmci: 0x%08x\n", lapic_read32(LAPIC_LVT_CMCI)); in lapic_dump()775 lapic_write32(LAPIC_LVT_CMCI, lvt_mode(la, APIC_LVT_CMCI, in lapic_setup()776 lapic_read32(LAPIC_LVT_CMCI))); in lapic_setup()