Searched refs:vmx_get_idt (Results 1 – 3 of 3) sorted by relevance
72 void vmx_get_idt(struct kvm_vcpu *vcpu, struct desc_ptr *dt);
431 vmx_get_idt(vcpu, dt); in vt_get_idt()
3632 void vmx_get_idt(struct kvm_vcpu *vcpu, struct desc_ptr *dt) in vmx_get_idt() function