APIC_LVT_TIMER
index = APIC_LVT_TIMER;
if (vlapic_fire_lvt(vlapic, APIC_LVT_TIMER)) {
case APIC_LVT_TIMER:
[APIC_LVT_TIMER] = {
la->lvt_timer_base = lvt_mode(la, APIC_LVT_TIMER,