Symbol: vmx_get_idt
arch/x86/kvm/vmx/main.c
431
vmx_get_idt(vcpu, dt);
arch/x86/kvm/vmx/x86_ops.h
72
void vmx_get_idt(struct kvm_vcpu *vcpu, struct desc_ptr *dt);