Searched refs:vmx_get_idt (Results 1 – 2 of 2) sorted by relevance
59 .get_idt = vmx_get_idt,
73 void vmx_get_idt(struct kvm_vcpu *vcpu, struct desc_ptr *dt);