TCO, Tag Check Override

The TCO characteristics are:

Purpose

When FEAT_MTE is implemented, this register allows tag checks to be disabled globally.

When FEAT_MTE2 is not implemented, it is CONSTRAINED UNPREDICTABLE whether this register is RES0 or behaves as if FEAT_MTE2 is implemented.

Configuration

This register is present only when FEAT_MTE is implemented. Otherwise, direct accesses to TCO are UNDEFINED.

Attributes

TCO is a 64-bit register.

Field descriptions

6362616059585756555453525150494847464544434241403938373635343332
313029282726252423222120191817161514131211109876543210
RES0
RES0TCORES0

Bits [63:26]

Reserved, RES0.

TCO, bit [25]

Allows memory tag checks to be globally disabled.

TCOMeaning
0b0

Loads and Stores are not affected by this control.

0b1

Loads and Stores are unchecked.

Bits [24:0]

Reserved, RES0.

Accessing TCO

For information about the operation of the MSR (immediate) accessor, see MSR (immediate).

Accesses to this register use the following encodings in the System register encoding space:

MRS <Xt>, TCO

op0op1CRnCRmop2
0b110b0110b01000b00100b111

if PSTATE.EL == EL0 then X[t, 64] = Zeros(38):PSTATE.TCO:Zeros(25); elsif PSTATE.EL == EL1 then X[t, 64] = Zeros(38):PSTATE.TCO:Zeros(25); elsif PSTATE.EL == EL2 then X[t, 64] = Zeros(38):PSTATE.TCO:Zeros(25); elsif PSTATE.EL == EL3 then X[t, 64] = Zeros(38):PSTATE.TCO:Zeros(25);

MSR TCO, <Xt>

op0op1CRnCRmop2
0b110b0110b01000b00100b111

if PSTATE.EL == EL0 then PSTATE.TCO = X[t, 64]<25>; elsif PSTATE.EL == EL1 then PSTATE.TCO = X[t, 64]<25>; elsif PSTATE.EL == EL2 then PSTATE.TCO = X[t, 64]<25>; elsif PSTATE.EL == EL3 then PSTATE.TCO = X[t, 64]<25>;

MSR TCO, #<imm>

op0op1CRnop2
0b000b0110b01000b100

26/03/2024 09:49; 67c0ae5282a7629ba0ea0ba7267b43cd4f7939f6

Copyright © 2010-2024 Arm Limited or its affiliates. All rights reserved. This document is Non-Confidential.