GUEST_TR_LIMIT   1295 arch/x86/kvm/vmx.c 	vmcs_write32(GUEST_TR_LIMIT, vcpu->arch.rmode.tr.limit);
GUEST_TR_LIMIT   1354 arch/x86/kvm/vmx.c 	vcpu->arch.rmode.tr.limit = vmcs_read32(GUEST_TR_LIMIT);
GUEST_TR_LIMIT   1355 arch/x86/kvm/vmx.c 	vmcs_write32(GUEST_TR_LIMIT, RMODE_TSS_SIZE - 1);
GUEST_TR_LIMIT   2061 arch/x86/kvm/vmx.c 	vmcs_write32(GUEST_TR_LIMIT, 0xffff);