lapic_maxlvt
if (lapic_maxlvt() < APIC_LVT_PMC)
if (lapic_maxlvt() < APIC_LVT_PMC)
if (lapic_maxlvt() < APIC_LVT_THERMAL)
if (lapic_maxlvt() < APIC_LVT_THERMAL)
lvts_count = min(nitems(lvts), lapic_maxlvt() + 1);