kvm_get_gdt       487 arch/x86/kvm/vmx.c 	kvm_get_gdt(&gdt);
kvm_get_gdt       658 arch/x86/kvm/vmx.c 		kvm_get_gdt(&dt);