vmx_dump_dtsel   5732 arch/x86/kvm/vmx/vmx.c 	vmx_dump_dtsel("GDTR:", GUEST_GDTR_LIMIT);
vmx_dump_dtsel   5734 arch/x86/kvm/vmx/vmx.c 	vmx_dump_dtsel("IDTR:", GUEST_IDTR_LIMIT);