Searched refs:LAPIC_LVT_CMCI (Results 1 – 2 of 2) sorted by relevance
231 LAPIC_LVT_CMCI = 0x2f, enumerator
741 printf(" cmci: 0x%08x\n", lapic_read32(LAPIC_LVT_CMCI)); in native_lapic_dump()842 lapic_write32(LAPIC_LVT_CMCI, lvt_mode(la, APIC_LVT_CMCI, in native_lapic_setup()843 lapic_read32(LAPIC_LVT_CMCI))); in native_lapic_setup()