Symbol: vmx_set_idt
arch/x86/kvm/vmx/main.c
444
vmx_set_idt(vcpu, dt);
arch/x86/kvm/vmx/x86_ops.h
74
void vmx_set_idt(struct kvm_vcpu *vcpu, struct desc_ptr *dt);