get_current_gdt_ro 1006 arch/x86/kvm/vmx/vmx.c 	table = get_current_gdt_ro();
get_current_gdt_ro 1328 arch/x86/kvm/vmx/vmx.c 		void *gdt = get_current_gdt_ro();