vmi_get_timer_vector   95 arch/x86/kernel/vmiclock_32.c 	apic_write(APIC_LVTT, vmi_get_timer_vector());
vmi_get_timer_vector  270 arch/x86/kernel/vmiclock_32.c 	apic_write(APIC_LVTT, vmi_get_timer_vector());
vmi_get_timer_vector  278 arch/x86/kernel/vmiclock_32.c 	apic_write(APIC_LVTT, vmi_get_timer_vector());