Provides information about the implemented memory model and memory management support in AArch32 state.
For general information about the interpretation of the ID registers see 'Principles of the ID scheme for fields in ID registers'.
AArch32 System register ID_MMFR4 bits [31:0] are architecturally mapped to AArch64 System register ID_MMFR4_EL1[31:0].
This register is present only when EL1 is capable of using AArch32. Otherwise, direct accesses to ID_MMFR4 are UNDEFINED.
ID_MMFR4 is a 32-bit register.
| 31 | 30 | 29 | 28 | 27 | 26 | 25 | 24 | 23 | 22 | 21 | 20 | 19 | 18 | 17 | 16 | 15 | 14 | 13 | 12 | 11 | 10 | 9 | 8 | 7 | 6 | 5 | 4 | 3 | 2 | 1 | 0 |
| EVT | CCIDX | LSM | HPDS | CnP | XNX | AC2 | SpecSEI | ||||||||||||||||||||||||
Enhanced Virtualization Traps. If EL2 is implemented, indicates support for the HCR2.{TTLBIS, TOCU, TICAB, TID4} traps.
The value of this field is an IMPLEMENTATION DEFINED choice of:
| EVT | Meaning |
|---|---|
| 0b0000 |
HCR2.{TTLBIS, TOCU, TICAB, TID4} traps are not supported. |
| 0b0001 |
HCR2.{TOCU, TICAB, TID4} traps are supported. HCR2.TTLBIS trap is not supported. |
| 0b0010 |
HCR2.{TTLBIS, TOCU, TICAB, TID4} traps are supported. |
All other values are reserved.
FEAT_EVT implements the functionality identified by the values 0b0001 and 0b0010.
If EL2 is not implemented supporting AArch32, the only permitted value is 0b0000.
In Armv8.2, the permitted values are 0b0000, 0b0001, and 0b0010.
From Armv8.5, the permitted values are:
Access to this field is RO.
Support for use of the revised CCSIDR format and the presence of the CCSIDR2 is indicated.
The value of this field is an IMPLEMENTATION DEFINED choice of:
| CCIDX | Meaning |
|---|---|
| 0b0000 |
32-bit format implemented for all levels of the CCSIDR, and the CCSIDR2 register is not implemented. |
| 0b0001 |
64-bit format implemented for all levels of the CCSIDR, and the CCSIDR2 register is implemented. |
All other values are reserved.
FEAT_CCIDX implements the functionality identified by 0b0001.
From Armv8.3, the permitted values are 0b0000 and 0b0001.
Access to this field is RO.
Indicates support for LSMAOE and nTLSMD bits in HSCTLR and SCTLR.
The value of this field is an IMPLEMENTATION DEFINED choice of:
| LSM | Meaning |
|---|---|
| 0b0000 |
LSMAOE and nTLSMD bits not supported. |
| 0b0001 |
LSMAOE and nTLSMD bits supported. |
All other values are reserved.
FEAT_LSMAOC implements the functionality identified by the value 0b0001.
From Armv8.2, the permitted values are 0b0000 and 0b0001.
Access to this field is RO.
Hierarchical permission disables bits in translation tables.
The value of this field is an IMPLEMENTATION DEFINED choice of:
| HPDS | Meaning |
|---|---|
| 0b0000 |
Disabling of hierarchical controls not supported. |
| 0b0001 |
Supports disabling of hierarchical controls using the TTBCR2.HPD0, TTBCR2.HPD1, and HTCR.HPD bits. |
| 0b0010 |
As for value 0b0001, and adds possible hardware allocation of bits[62:59] of the Translation table descriptors from the final lookup level for IMPLEMENTATION DEFINED use. |
All other values are reserved.
FEAT_AA32HPD implements the functionality identified by the value 0b0001.
FEAT_HPDS2 implements the functionality added by the value 0b0010.
The value 0b0000 implies that the encoding for TTBCR2 is UNDEFINED.
Access to this field is RO.
Common not Private translations.
The value of this field is an IMPLEMENTATION DEFINED choice of:
| CnP | Meaning |
|---|---|
| 0b0000 |
Common not Private translations not supported. |
| 0b0001 |
Common not Private translations supported. |
All other values are reserved.
FEAT_TTCNP implements the functionality identified by the value 0b0001.
From Armv8.2, the only permitted value is 0b0001.
Access to this field is RO.
Support for execute-never control distinction by Exception level at stage 2.
The value of this field is an IMPLEMENTATION DEFINED choice of:
| XNX | Meaning |
|---|---|
| 0b0000 |
Distinction between EL0 and EL1 execute-never control at stage 2 not supported. |
| 0b0001 |
Distinction between EL0 and EL1 execute-never control at stage 2 supported. |
All other values are reserved.
FEAT_XNX implements the functionality identified by the value 0b0001.
When FEAT_XNX is implemented:
Access to this field is RO.
Indicates the extension of the ACTLR and HACTLR registers using ACTLR2 and HACTLR2.
The value of this field is an IMPLEMENTATION DEFINED choice of:
| AC2 | Meaning |
|---|---|
| 0b0000 | |
| 0b0001 |
All other values are reserved.
In Armv8.0, the permitted values are 0b0000 and 0b0001.
From Armv8.2, the only permitted value is 0b0001.
Access to this field is RO.
Describes whether the PE can generate SError exceptions from speculative reads of memory, including speculative instruction fetches.
The value of this field is an IMPLEMENTATION DEFINED choice of:
| SpecSEI | Meaning |
|---|---|
| 0b0000 |
The PE never generates an SError exception due to an External abort on a speculative read. |
| 0b0001 |
The PE might generate an SError exception due to an External abort on a speculative read. |
All other values are reserved.
Access to this field is RO.
Reserved, RES0.
Accesses to this register use the following encodings in the System register encoding space:
MRC{<c>}{<q>} <coproc>, {#}<opc1>, <Rt>, <CRn>, <CRm>{, {#}<opc2>}
| coproc | opc1 | CRn | CRm | opc2 |
|---|---|---|---|---|
| 0b1111 | 0b000 | 0b0000 | 0b0010 | 0b110 |
if PSTATE.EL == EL0 then UNDEFINED; elsif PSTATE.EL == EL1 then if EL2Enabled() && !ELUsingAArch32(EL2) && HSTR_EL2.T0 == '1' then AArch64.AArch32SystemAccessTrap(EL2, 0x03); elsif EL2Enabled() && ELUsingAArch32(EL2) && HSTR.T0 == '1' then AArch32.TakeHypTrapException(0x03); elsif EL2Enabled() && !ELUsingAArch32(EL2) && (IsFeatureImplemented(FEAT_FGT) || !IsZero(ID_MMFR4) || boolean IMPLEMENTATION_DEFINED "ID_MMFR4 trapped by HCR_EL2.TID3") && HCR_EL2.TID3 == '1' then AArch64.AArch32SystemAccessTrap(EL2, 0x03); elsif EL2Enabled() && ELUsingAArch32(EL2) && (IsFeatureImplemented(FEAT_FGT) || !IsZero(ID_MMFR4) || boolean IMPLEMENTATION_DEFINED "ID_MMFR4 trapped by HCR.TID3") && HCR.TID3 == '1' then AArch32.TakeHypTrapException(0x03); else R[t] = ID_MMFR4; elsif PSTATE.EL == EL2 then R[t] = ID_MMFR4; elsif PSTATE.EL == EL3 then R[t] = ID_MMFR4;