trace_kvm_hv_timer_state 1744 arch/x86/kvm/lapic.c 	trace_kvm_hv_timer_state(vcpu->vcpu_id, ktimer->hv_timer_in_use);
trace_kvm_hv_timer_state 1763 arch/x86/kvm/lapic.c 	trace_kvm_hv_timer_state(apic->vcpu->vcpu_id, false);