VLAPIC_MAXLVT_INDEX
lapic->version |= (VLAPIC_MAXLVT_INDEX << MAXLVTSHIFT);
KASSERT(index >= 0 && index <= VLAPIC_MAXLVT_INDEX, ("lvt_off_to_idx: "
static VMM_STAT_ARRAY(LVTS_TRIGGERRED, VLAPIC_MAXLVT_INDEX + 1,
uint32_t lvt_last[VLAPIC_MAXLVT_INDEX + 1];