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