Searched refs:kvm_x86_get_idt (Results 1 – 1 of 1) sorted by relevance
7950 static_call(kvm_x86_get_idt)(emul_to_vcpu(ctxt), dt); in emulator_get_idt() local10175 static_call(kvm_x86_get_idt)(vcpu, &dt); in enter_smm_save_state_32()10225 static_call(kvm_x86_get_idt)(vcpu, &dt); in enter_smm_save_state_64()11306 static_call(kvm_x86_get_idt)(vcpu, &dt); in __get_sregs_common()
