ID_AA64MMFR3

Provides information about the implemented memory model and memory management support in AArch64 state.

Configuration

Attributes

Field descriptions

Spec_FPACC, bits [63:60]
When FEAT_FPACCOMBINE is implemented:

Speculative behavior in the event of a PAC authentication failure in an implementation that includes FEAT_FPACCOMBINE.

The value of this field is an IMPLEMENTATION DEFINED choice of:

Spec_FPACC	Meaning
0b0000	The implementation does not disclose whether the speculative use of pointers processed by a PAC Authentication is materially different in terms of the impact on cached microarchitectural state between passing and failing of the PAC Authentication.
0b0001	The speculative use of pointers processed by a PAC Authentication is not materially different in terms of the impact on cached microarchitectural state between passing and failing of the PAC Authentication.

All other values are reserved.

For the purpose of this definition, cached microarchitecture state is the state of caching agents such as instruction caches, data caches and TLBs which can be altered as a result of speculation caused by a mispredicted execution, but is not restored to the state prior to the speculation when the misprediction is corrected.

Access to this field is RO.

Otherwise:

ADERR, bits [59:56]

Asynchronous Device error exceptions. With ID_AA64MMFR3_EL1.SDERR, describes the PE behavior for External aborts signaled on Device memory loads.

The value of this field is an IMPLEMENTATION DEFINED choice of:

ADERR	Meaning
0b0000	If FEAT_RASv2 is not implemented and ID_AA64MMFR3_EL1.SDERR is 0b0000, then the behavior is not described. Otherwise, the behavior is described by ID_AA64MMFR3_EL1.SDERR.
0b0001	All External aborts on Device memory loads are handled asynchronously.
0b0010	FEAT_ADERR is implemented. SCTLR2_ELx.EnADERR and HCRX_EL2.EnSDERR are implemented. If FEAT_ANERR is also implemented, then all the following apply: SCTLR2_ELx.EnADERR should always be set to the same value as SCTLR2_ELx.EnANERR. HCRX_EL2.EnSDERR should always be set to the same value as HCRX_EL2.EnSNERR.
0b0011	FEAT_ADERR is implemented. SCTLR2_ELx.EnADERR and HCRX_EL2.EnSDERR are implemented. If FEAT_ANERR is also implemented, then SCTLR2_ELx.EnADERR and HCRX_EL2.EnSDERR operate independently of SCTLR2_ELx.EnANERR and HCRX_EL2.EnSNERR.

All other values are reserved.

Handled asynchronously means that the External abort generates an asynchronous SError exception. If FEAT_SVE is implemented and the access generating the External abort is due to any Active element of an SVE Non-fault vector load instruction or an Active element that is not the first Active element of an SVE First-fault vector load instruction, then the External abort is not reported in the FFR.

It is implementation-specific whether this field applies to memory reads generated by each of the following:

SIMD&FP register loads.
When FEAT_SVE is implemented, SVE register loads.
When FEAT_SME is implemented, SME register loads.
When FEAT_LSE is implemented, LD<op>, SWP and CAS{P} Atomic instructions that return a value to the PE.
When FEAT_LS64_V is implemented, LD64B and ST64BV{0} instructions that return a value to the PE.
When FEAT_THE is implemented, RCW instructions that return a value to the PE.

When FEAT_RASv2 is implemented and ID_AA64MMFR3_EL1.SDERR is 0b0000, the value of this field is 0b0001.

When ID_AA64MMFR3_EL1.SDERR is 0b0001, the value of this field is 0b0000.

When ID_AA64MMFR3_EL1.SDERR is 0b0010, the value of this field is 0b0010.

When ID_AA64MMFR3_EL1.SDERR is 0b0011, the value of this field is 0b0011.

FEAT_ADERR implements the functionality described by the value 0b0010.

Access to this field is RO.

SDERR, bits [55:52]

Synchronous Device error exceptions. With ID_AA64MMFR3_EL1.ADERR, describes the PE behavior for External aborts signaled on Device memory loads.

The value of this field is an IMPLEMENTATION DEFINED choice of:

SDERR	Meaning
0b0000	If FEAT_RASv2 is not implemented and ID_AA64MMFR3_EL1.ADERR is 0b0000, then the behavior is not described. Otherwise, the behavior is described by ID_AA64MMFR3_EL1.ADERR.
0b0001	All External aborts on Device memory loads are handled synchronously.
0b0010	FEAT_ADERR is implemented. SCTLR2_ELx.EnADERR and HCRX_EL2.EnSDERR are implemented. If FEAT_ANERR is also implemented, then all the following apply: SCTLR2_ELx.EnADERR should always be set to the same value as SCTLR2_ELx.EnANERR. HCRX_EL2.EnSDERR should always be set to the same value as HCRX_EL2.EnSNERR.
0b0011	FEAT_ADERR is implemented. SCTLR2_ELx.EnADERR and HCRX_EL2.EnSDERR are implemented. If FEAT_ANERR is also implemented, then SCTLR2_ELx.EnADERR and HCRX_EL2.EnSDERR operate independently of SCTLR2_ELx.EnANERR and HCRX_EL2.EnSNERR.

All other values are reserved.

Handled synchronously means that, if FEAT_SVE is implemented and the access generating the External abort is due to any Active element of an SVE Non-fault vector load instruction or an Active element that is not the first Active element of an SVE First-fault vector load instruction, then no exception is generated and the External abort is reported in the FFR. Otherwise, the External abort generates a precise synchronous Data Abort exception.

It is implementation-specific whether this field applies to memory reads generated by each of the following:

SIMD&FP register loads.
When FEAT_SVE is implemented, SVE register loads.
When FEAT_SME is implemented, SME register loads.
When FEAT_LSE is implemented, LD<op>, SWP and CAS{P} Atomic instructions that return a value to the PE.
When FEAT_LS64_V is implemented, LD64B and ST64BV{0} instructions that return a value to the PE.
When FEAT_THE is implemented, RCW instructions that return a value to the PE.

When FEAT_RASv2 is implemented and ID_AA64MMFR3_EL1.ADERR is 0b0000, the value of this field is 0b0001.

When ID_AA64MMFR3_EL1.ADERR is 0b0001, the value of this field is 0b0000.

When ID_AA64MMFR3_EL1.ADERR is 0b0010, the value of this field is 0b0010.

When ID_AA64MMFR3_EL1.ADERR is 0b0011, the value of this field is 0b0011.

FEAT_ADERR implements the functionality described by the value 0b0010.

Access to this field is RO.

Bits [51:48]

ANERR, bits [47:44]

Asynchronous Normal error exceptions. With ID_AA64MMFR3_EL1.SNERR, describes the PE behavior for External aborts signaled on Normal memory loads.

The value of this field is an IMPLEMENTATION DEFINED choice of:

ANERR	Meaning
0b0000	If FEAT_RASv2 is not implemented and ID_AA64MMFR3_EL1.SNERR is 0b0000, then the behavior is not described. Otherwise, the behavior is described by ID_AA64MMFR3_EL1.SNERR.
0b0001	All External aborts on Normal memory loads are handled asynchronously.
0b0010	FEAT_ANERR is implemented. SCTLR2_ELx.EnANERR and HCRX_EL2.EnSNERR are implemented. If FEAT_ADERR is also implemented, then all the following apply: SCTLR2_ELx.EnANERR should always be set to the same value as SCTLR2_ELx.EnADERR. HCRX_EL2.EnSNERR should always be set to the same value as HCRX_EL2.EnSDERR.
0b0011	FEAT_ANERR is implemented. SCTLR2_ELx.EnANERR and HCRX_EL2.EnSNERR are implemented. If FEAT_ADERR is also implemented, then SCTLR2_ELx.EnANERR and HCRX_EL2.EnSNERR operate independently of SCTLR2_ELx.EnADERR and HCRX_EL2.EnSDERR.

All other values are reserved.

It is implementation-specific whether this field applies to memory reads generated by each of the following:

When FEAT_SME is implemented:
- SVE register loads when the PE is in Streaming SVE mode.
- SME register loads.
When FEAT_LSE is implemented, LD<op>, SWP and CAS{P} Atomic instructions that return a value to the PE.
When FEAT_LS64_V is implemented, LD64B and ST64BV{0} instructions that return a value to the PE.
When FEAT_THE is implemented, RCW instructions that return a value to the PE.

When FEAT_RASv2 is implemented and ID_AA64MMFR3_EL1.SNERR is 0b0000, the value of this field is 0b0001.

When ID_AA64MMFR3_EL1.SNERR is 0b0001, the value of this field is 0b0000.

When ID_AA64MMFR3_EL1.SNERR is 0b0010, the value of this field is 0b0010.

When ID_AA64MMFR3_EL1.SNERR is 0b0011, the value of this field is 0b0011.

FEAT_ANERR implements the functionality described by the value 0b0010.

Access to this field is RO.

SNERR, bits [43:40]

Synchronous Normal error exceptions. With ID_AA64MMFR3_EL1.ANERR, describes the PE behavior for External aborts signaled on Normal memory loads.

The value of this field is an IMPLEMENTATION DEFINED choice of:

SNERR	Meaning
0b0000	If FEAT_RASv2 is not implemented and ID_AA64MMFR3_EL1.ANERR is 0b0000, then the behavior is not described. Otherwise, the behavior is described by ID_AA64MMFR3_EL1.ANERR.
0b0001	All External aborts on Normal memory loads are handled synchronously.
0b0010	FEAT_ANERR is implemented. SCTLR2_ELx.EnANERR and HCRX_EL2.EnSNERR are implemented. If FEAT_ADERR is also implemented, then all the following apply: SCTLR2_ELx.EnANERR should always be set to the same value as SCTLR2_ELx.EnADERR. HCRX_EL2.EnSNERR should always be set to the same value as HCRX_EL2.EnSDERR.
0b0011	FEAT_ANERR is implemented. SCTLR2_ELx.EnANERR and HCRX_EL2.EnSNERR are implemented. If FEAT_ADERR is also implemented, then SCTLR2_ELx.EnANERR and HCRX_EL2.EnSNERR operate independently of SCTLR2_ELx.EnADERR and HCRX_EL2.EnSDERR.

All other values are reserved.

It is implementation-specific whether this field applies to memory reads generated by each of the following:

When FEAT_SME is implemented:
- SVE register loads when the PE is in Streaming SVE mode.
- SME register loads.
When FEAT_LSE is implemented, LD<op>, SWP and CAS{P} Atomic instructions that return a value to the PE.
When FEAT_LS64_V is implemented, LD64B and ST64BV{0} instructions that return a value to the PE.
When FEAT_THE is implemented, RCW instructions that return a value to the PE.

When FEAT_RASv2 is implemented and ID_AA64MMFR3_EL1.ANERR is 0b0000, the value of this field is 0b0001.

When ID_AA64MMFR3_EL1.ANERR is 0b0001, the value of this field is 0b0000.

When ID_AA64MMFR3_EL1.ANERR is 0b0010, the value of this field is 0b0010.

When ID_AA64MMFR3_EL1.ANERR is 0b0011, the value of this field is 0b0011.

FEAT_ANERR implements the functionality described by the value 0b0010.

Access to this field is RO.

D128_2, bits [39:36]

128-bit translation table descriptor at stage 2. Indicates support for 128-bit translation table descriptor at stage 2.

The value of this field is an IMPLEMENTATION DEFINED choice of:

D128_2	Meaning
0b0000	128-bit translation table descriptor Extension at stage 2 is not supported.
0b0001	128-bit translation table descriptor Extension at stage 2 is supported.

All other values are reserved.

Access to this field is RO.

D128, bits [35:32]

128-bit translation table descriptor. Indicates support for 128-bit translation table descriptor.

The value of this field is an IMPLEMENTATION DEFINED choice of:

D128	Meaning
0b0000	128-bit translation table descriptor Extension is not supported.
0b0001	128-bit translation table descriptor Extension is supported.

All other values are reserved.

Access to this field is RO.

MEC, bits [31:28]

Indicates support for Memory Encryption Contexts.

The value of this field is an IMPLEMENTATION DEFINED choice of:

MEC	Meaning
0b0000	Memory Encryption Contexts is not supported.
0b0001	Memory Encryption Contexts is supported, with multiple contexts in the Realm physical address space.

All other values are reserved.

FEAT_MEC implements the functionality identified by the value 0b0001.

Access to this field is RO.

AIE, bits [27:24]

Attribute Indexing. Indicates support for the Attribute Index Enhancement.

The value of this field is an IMPLEMENTATION DEFINED choice of:

AIE	Meaning
0b0000	The Attribute Index Enhancement is not supported.
0b0001	The Attribute Index Enhancement at stage 1 is supported.

All other values are reserved.

FEAT_AIE implements the functionality identified by the value 0b0001.

Access to this field is RO.

S2POE, bits [23:20]

Stage 2 Permission Overlay. Indicates support for Permission Overlay at stage 2.

The value of this field is an IMPLEMENTATION DEFINED choice of:

S2POE	Meaning
0b0000	Permission Overlay at stage 2 is not supported.
0b0001	Permission Overlay at stage 2 is supported.

All other values are reserved.

FEAT_S2POE implements the functionality identified by the value 0b0001.

Access to this field is RO.

S1POE, bits [19:16]

Stage 1 Permission Overlay. Indicates support for Permission Overlay at stage 1.

The value of this field is an IMPLEMENTATION DEFINED choice of:

S1POE	Meaning
0b0000	Permission Overlay at stage 1 is not supported.
0b0001	Permission Overlay at stage 1 is supported.

All other values are reserved.

FEAT_S1POE implements the functionality identified by the value 0b0001.

Access to this field is RO.

S2PIE, bits [15:12]

Stage 2 Permission Indirection. Indicates support for Permission Indirection at stage 2.

The value of this field is an IMPLEMENTATION DEFINED choice of:

S2PIE	Meaning
0b0000	Permission Indirection at stage 2 is not supported.
0b0001	Permission Indirection at stage 2 is supported.

All other values are reserved.

FEAT_S2PIE implements the functionality identified by the value 0b0001.

Access to this field is RO.

S1PIE, bits [11:8]

Stage 1 Permission Indirection. Indicates support for Permission Indirection at stage 1.

The value of this field is an IMPLEMENTATION DEFINED choice of:

S1PIE	Meaning
0b0000	Permission Indirection at stage 1 is not supported.
0b0001	Permission Indirection at stage 1 is supported.

All other values are reserved.

FEAT_S1PIE implements the functionality identified by the value 0b0001.

Access to this field is RO.

SCTLRX, bits [7:4]

SCTLR Extension. Indicates support for extension of SCTLR_ELx.

The value of this field is an IMPLEMENTATION DEFINED choice of:

SCTLRX	Meaning
0b0000	SCTLR2_EL1, SCTLR2_EL2, SCTLR2_EL3 registers, and their associated trap controls are not implemented.
0b0001	SCTLR2_EL1, SCTLR2_EL2, SCTLR2_EL3 resisters, and their associated trap controls are implemented.

All other values are reserved.

From Armv8.9, the value 0b0000 is not permitted.

Access to this field is RO.

TCRX, bits [3:0]

TCR Extension. Indicates support for extension of TCR_ELx.

The value of this field is an IMPLEMENTATION DEFINED choice of:

TCRX	Meaning
0b0000	TCR2_EL1, TCR2_EL2, and their associated trap controls are not implemented.
0b0001	TCR2_EL1, TCR2_EL2, and their associated trap controls are implemented.

All other values are reserved.

From Armv8.9, the value 0b0000 is not permitted.

Access to this field is RO.

Accessing ID_AA64MMFR3_EL1

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

MRS <Xt>, ID_AA64MMFR3_EL1

op0	op1	CRn	CRm	op2
0b11	0b000	0b0000	0b0111	0b011

if PSTATE.EL == EL0 then if IsFeatureImplemented(FEAT_IDST) then if EL2Enabled() && HCR_EL2.TGE == '1' then AArch64.SystemAccessTrap(EL2, 0x18); else AArch64.SystemAccessTrap(EL1, 0x18); else UNDEFINED; elsif PSTATE.EL == EL1 then if EL2Enabled() && (IsFeatureImplemented(FEAT_FGT) || !IsZero(ID_AA64MMFR3_EL1) || boolean IMPLEMENTATION_DEFINED "ID_AA64MMFR3_EL1 trapped by HCR_EL2.TID3") && HCR_EL2.TID3 == '1' then AArch64.SystemAccessTrap(EL2, 0x18); else X[t, 64] = ID_AA64MMFR3_EL1; elsif PSTATE.EL == EL2 then X[t, 64] = ID_AA64MMFR3_EL1; elsif PSTATE.EL == EL3 then X[t, 64] = ID_AA64MMFR3_EL1;

ID_AA64MMFR3_EL1, AArch64 Memory Model Feature Register 3

Purpose

Configuration

Attributes

Field descriptions

Spec_FPACC, bits [63:60]
When FEAT_FPACCOMBINE is implemented:

Otherwise:

ADERR, bits [59:56]

SDERR, bits [55:52]

Bits [51:48]

ANERR, bits [47:44]

SNERR, bits [43:40]

D128_2, bits [39:36]

D128, bits [35:32]

MEC, bits [31:28]

AIE, bits [27:24]

S2POE, bits [23:20]

S1POE, bits [19:16]

S2PIE, bits [15:12]

S1PIE, bits [11:8]

SCTLRX, bits [7:4]

TCRX, bits [3:0]

Accessing ID_AA64MMFR3_EL1

MRS <Xt>, ID_AA64MMFR3_EL1

ID_AA64MMFR3_EL1, AArch64 Memory Model Feature Register 3

Purpose

Configuration

Attributes

Field descriptions

Spec_FPACC, bits [63:60]When FEAT_FPACCOMBINE is implemented:

Otherwise:

ADERR, bits [59:56]

SDERR, bits [55:52]

Bits [51:48]

ANERR, bits [47:44]

SNERR, bits [43:40]

D128_2, bits [39:36]

D128, bits [35:32]

MEC, bits [31:28]

AIE, bits [27:24]

S2POE, bits [23:20]

S1POE, bits [19:16]

S2PIE, bits [15:12]

S1PIE, bits [11:8]

SCTLRX, bits [7:4]

TCRX, bits [3:0]

Accessing ID_AA64MMFR3_EL1

MRS <Xt>, ID_AA64MMFR3_EL1

Spec_FPACC, bits [63:60]
When FEAT_FPACCOMBINE is implemented: