Searched refs:vmx_set_idt (Results 1 – 3 of 3) sorted by relevance
73 void vmx_set_idt(struct kvm_vcpu *vcpu, struct desc_ptr *dt);
439 vmx_set_idt(vcpu, dt); in vt_set_idt()
3854 void vmx_set_idt(struct kvm_vcpu *vcpu, struct desc_ptr *dt) in vmx_set_idt() function