Searched refs:kvm_x86_set_gdt (Results 1 – 2 of 2) sorted by relevance
490 static_call(kvm_x86_set_gdt)(vcpu, &dt); in rsm_load_state_32()552 static_call(kvm_x86_set_gdt)(vcpu, &dt); in rsm_load_state_64()
8090 static_call(kvm_x86_set_gdt)(emul_to_vcpu(ctxt), dt); in emulator_set_gdt() local11520 static_call(kvm_x86_set_gdt)(vcpu, &dt); in __set_sregs_common()
