Searched refs:vmx_get_idt (Results 1 – 3 of 3) sorted by relevance
60 .get_idt = vmx_get_idt,
72 void vmx_get_idt(struct kvm_vcpu *vcpu, struct desc_ptr *dt);
3681 void vmx_get_idt(struct kvm_vcpu *vcpu, struct desc_ptr *dt) in vmx_get_idt() function