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