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