Symbol: kvm_get_lapic_tscdeadline_msr
arch/x86/kvm/lapic.h
140
u64 kvm_get_lapic_tscdeadline_msr(struct kvm_vcpu *vcpu);
arch/x86/kvm/x86.c
4446
msr_info->data = kvm_get_lapic_tscdeadline_msr(vcpu);