LOCAL_TIMER_VECTOR
SYSVEC(LOCAL_TIMER_VECTOR, apic_timer_interrupt),
DECLARE_IDTENTRY_SYSVEC(LOCAL_TIMER_VECTOR, sysvec_apic_timer_interrupt);
trace_local_timer_entry(LOCAL_TIMER_VECTOR);
trace_local_timer_exit(LOCAL_TIMER_VECTOR);
value |= (APIC_LVT_MASKED | LOCAL_TIMER_VECTOR);
lvtt_value = LOCAL_TIMER_VECTOR;
v |= (APIC_LVT_MASKED | LOCAL_TIMER_VECTOR);
__apic_send_IPI_mask(mask, LOCAL_TIMER_VECTOR);
apic_update_vector(smp_processor_id(), LOCAL_TIMER_VECTOR, true);
INTG(LOCAL_TIMER_VECTOR, asm_sysvec_apic_timer_interrupt),