APIC_LVT_PMC
index = APIC_LVT_PMC;
case APIC_LVT_PMC:
if (maxlvt < APIC_LVT_PMC)
lvts[APIC_LVT_PMC].lvt_masked = 0;
if (maxlvt < APIC_LVT_PMC)
lvts[APIC_LVT_PMC].lvt_masked = 1;
[APIC_LVT_PMC] = {
if (maxlvt >= APIC_LVT_PMC)
if (maxlvt >= APIC_LVT_PMC) {
lapic_write32(LAPIC_LVT_PCINT, lvt_mode(la, APIC_LVT_PMC,
lapic_write32(LAPIC_LVT_PCINT, lvt_mode(la, APIC_LVT_PMC,