Symbol: vmx_set_gdt
arch/x86/kvm/vmx/main.c
457
vmx_set_gdt(vcpu, dt);
arch/x86/kvm/vmx/x86_ops.h
75
void vmx_set_gdt(struct kvm_vcpu *vcpu, struct desc_ptr *dt);