Searched refs:VLAPIC_MAXLVT_INDEX (Results 1 – 2 of 2) sorted by relevance
103 #define VLAPIC_MAXLVT_INDEX APIC_LVT_CMCI macro149 uint32_t lvt_last[VLAPIC_MAXLVT_INDEX + 1];
401 KASSERT(index >= 0 && index <= VLAPIC_MAXLVT_INDEX, ("lvt_off_to_idx: " in lvt_off_to_idx()682 static VMM_STAT_ARRAY(LVTS_TRIGGERRED, VLAPIC_MAXLVT_INDEX + 1,1441 lapic->version |= (VLAPIC_MAXLVT_INDEX << MAXLVTSHIFT); in vlapic_reset()