Searched refs:kvm_x86_get_idt (Results 1 – 1 of 1) sorted by relevance
7125 static_call(kvm_x86_get_idt)(emul_to_vcpu(ctxt), dt); in emulator_get_idt() local9113 static_call(kvm_x86_get_idt)(vcpu, &dt); in enter_smm_save_state_32()9163 static_call(kvm_x86_get_idt)(vcpu, &dt); in enter_smm_save_state_64()10183 static_call(kvm_x86_get_idt)(vcpu, &dt); in __get_sregs_common()
