Searched refs:kvm_x86_get_idt (Results 1 – 2 of 2) sorted by relevance
210 static_call(kvm_x86_get_idt)(vcpu, &dt); in enter_smm_save_state_32()260 static_call(kvm_x86_get_idt)(vcpu, &dt); in enter_smm_save_state_64()
8085 static_call(kvm_x86_get_idt)(emul_to_vcpu(ctxt), dt); in emulator_get_idt() local11318 static_call(kvm_x86_get_idt)(vcpu, &dt); in __get_sregs_common()
