Searched refs:kvm_x86_set_gdt (Results 1 – 1 of 1) sorted by relevance
7955 static_call(kvm_x86_set_gdt)(emul_to_vcpu(ctxt), dt); in emulator_set_gdt() local11507 static_call(kvm_x86_set_gdt)(vcpu, &dt); in __set_sregs_common()