Provides additional information about implemented PE features in AArch64 state.
For general information about the interpretation of the ID registers, see 'Principles of the ID scheme for fields in ID registers'.
Prior to the introduction of the features described by this register, this register was unnamed and reserved, RES0 from EL1, EL2, and EL3.
ID_AA64PFR2_EL1 is a 64-bit register.
63 | 62 | 61 | 60 | 59 | 58 | 57 | 56 | 55 | 54 | 53 | 52 | 51 | 50 | 49 | 48 | 47 | 46 | 45 | 44 | 43 | 42 | 41 | 40 | 39 | 38 | 37 | 36 | 35 | 34 | 33 | 32 |
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 |
RES0 | FPMR | ||||||||||||||||||||||||||||||
RES0 | MTEFAR | MTESTOREONLY | MTEPERM |
Reserved, RES0.
Indicates support for FPMR.
The value of this field is an IMPLEMENTATION DEFINED choice of:
FPMR | Meaning |
---|---|
0b0000 |
FPMR is not implemented. |
0b0001 |
FPMR is implemented. |
All other values are reserved.
FEAT_FPMR implements the functionality identified by the value 0b0001.
Access to this field is RO.
Reserved, RES0.
Indicates whether FAR_ELx[63:60] are UNKNOWN on a synchronous exception due to a Tag Check Fault.
The value of this field is an IMPLEMENTATION DEFINED choice of:
MTEFAR | Meaning |
---|---|
0b0000 |
On a synchronous exception due to a Tag Check Fault, FAR_ELx[63:60] are UNKNOWN. |
0b0001 |
On a synchronous exception due to a Tag Check Fault, FAR_ELx[63:60] are not UNKNOWN. |
All other values are reserved.
FEAT_MTE_TAGGED_FAR implements the functionality identified by the value 0b0001.
If FEAT_MTE2 is not implemented, the value 0b0001 is not permitted.
From Armv8.9, if FEAT_MTE2 is implemented, the value 0b0000 is not permitted.
Access to this field is RO.
Support for Store-only Tag checking.
The value of this field is an IMPLEMENTATION DEFINED choice of:
MTESTOREONLY | Meaning |
---|---|
0b0000 |
Store-only Tag checking is not supported. |
0b0001 |
Store-only Tag checking is supported. |
All other values are reserved.
FEAT_MTE_STORE_ONLY implements the functionality identified by the value 0b0001.
If FEAT_MTE2 is not implemented, the value 0b0001 is not permitted.
From Armv8.9, if FEAT_MTE2 is implemented, the value 0b0000 is not permitted.
Access to this field is RO.
Support for Allocation tag access permissions.
The value of this field is an IMPLEMENTATION DEFINED choice of:
MTEPERM | Meaning |
---|---|
0b0000 |
Allocation tag access permissions are not supported. |
0b0001 | Allocation tag access permissions are supported. Note NoTagAccess is supported at stage 2 of translation only. |
All other values are reserved.
FEAT_MTE_PERM implements the functionality identified by the value 0b0001
If FEAT_MTE2 is not implemented, the value 0b0001 is not permitted.
From Armv8.9, if FEAT_MTE2 is implemented, the value 0b0000 is not permitted.
Access to this field is RO.
Accesses to this register use the following encodings in the System register encoding space:
MRS <Xt>, ID_AA64PFR2_EL1
op0 | op1 | CRn | CRm | op2 |
---|---|---|---|---|
0b11 | 0b000 | 0b0000 | 0b0100 | 0b010 |
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_AA64PFR2_EL1) || boolean IMPLEMENTATION_DEFINED "ID_AA64PFR2_EL1 trapped by HCR_EL2.TID3") && HCR_EL2.TID3 == '1' then AArch64.SystemAccessTrap(EL2, 0x18); else X[t, 64] = ID_AA64PFR2_EL1; elsif PSTATE.EL == EL2 then X[t, 64] = ID_AA64PFR2_EL1; elsif PSTATE.EL == EL3 then X[t, 64] = ID_AA64PFR2_EL1;