no old filehtmldiff from-(new)

PFAR_EL1, Physical Fault Address Register (EL1)

The PFAR_EL1 characteristics are:

Purpose

Records the faulting physical address for a synchronous External Abort, or SError exception taken to EL1.

Configuration

This register is present only when FEAT_PFAR is implemented. Otherwise, direct accesses to PFAR_EL1 are UNDEFINED.

Attributes

PFAR_EL1 is a 64-bit register.

Field descriptions

6362616059585756555453525150494847464544434241403938373635343332
313029282726252423222120191817161514131211109876543210
NSNSERES0PA
PA

NS, bit [63]
When FEAT_RME is implemented:

Together with the NSE field, reports the physical address space of the access that triggered the exception.

NSENSMeaning
0b00b0When Secure state is implemented, Secure. Otherwise reserved.
0b00b1Non-secure.
0b10b0Root.
0b10b1Realm.

The reset behavior of this field is:


When EL3 is implemented:

Non-secure. Reports the physical address space of the access that triggered the exception.

NSMeaning
0b0

Secure physical address space.

0b1

Non-secure physical address space.

The reset behavior of this field is:


Otherwise:

Reserved, RES0.

NSE, bit [62]
When FEAT_RME is implemented:

Together with the NS field, reports the physical address space of the access that triggered the exception.

For a description of the values derived by evaluating NS and NSE together, see MFAR_EL3.NS.

The reset behavior of this field is:


Otherwise:

Reserved, RES0.

Bits [61:52]

Reserved, RES0.

PA, bits [51:0]

Physical Address.

For implementations with fewer than 52 physical address bits, the corresponding upper bits in this field are RES0.

When recording an address for a synchronous External Abort or SError exception, the recorded address can be any address within the same naturally-aligned fault granule as the faulting physical address, where the size of the fault granule is IMPLEMENTATION DEFINED, but must be no larger than:

The reset behavior of this field is:

Accessing PFAR_EL1

PFAR_EL1 is not valid and reads UNKNOWN if ESR_EL1.PFV is recorded as 0.

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

MRS <Xt>, PFAR_EL1

op0op1CRnCRmop2
0b110b0000b01100b00000b101

if PSTATE.EL == EL0 then UNDEFINED; elsif PSTATE.EL == EL1 then if EL2Enabled() && (!HaveEL(EL3) || SCR_EL3.FGTEn2 == '1') && HFGRTR2_EL2.nPFAR_EL1 == '0' then AArch64.SystemAccessTrap(EL2, 0x18); elsif EL2Enabled() && HCR_EL2.<NV2,NV1,NV> == '111' then X[t, 64] = NVMem[0x2D0]; else X[t, 64] = PFAR_EL1; elsif PSTATE.EL == EL2 then if HCR_EL2.E2H == '1' then X[t, 64] = PFAR_EL2; else X[t, 64] = PFAR_EL1; elsif PSTATE.EL == EL3 then X[t, 64] = PFAR_EL1;

MSR PFAR_EL1, <Xt>

op0op1CRnCRmop2
0b110b0000b01100b00000b101

if PSTATE.EL == EL0 then UNDEFINED; elsif PSTATE.EL == EL1 then if EL2Enabled() && (!HaveEL(EL3) || SCR_EL3.FGTEn2 == '1') && HFGWTR2_EL2.nPFAR_EL1 == '0' then AArch64.SystemAccessTrap(EL2, 0x18); elsif EL2Enabled() && HCR_EL2.<NV2,NV1,NV> == '111' then NVMem[0x2D0] = X[t, 64]; else PFAR_EL1 = X[t, 64]; elsif PSTATE.EL == EL2 then if HCR_EL2.E2H == '1' then PFAR_EL2 = X[t, 64]; else PFAR_EL1 = X[t, 64]; elsif PSTATE.EL == EL3 then PFAR_EL1 = X[t, 64];

MRS <Xt>, PFAR_EL12

op0op1CRnCRmop2
0b110b1010b01100b00000b101

if PSTATE.EL == EL0 then UNDEFINED; elsif PSTATE.EL == EL1 then if EL2Enabled() && HCR_EL2.<NV2,NV1,NV> == '101' then X[t, 64] = NVMem[0x2D0]; elsif EL2Enabled() && HCR_EL2.NV == '1' then AArch64.SystemAccessTrap(EL2, 0x18); else UNDEFINED; elsif PSTATE.EL == EL2 then if HCR_EL2.E2H == '1' then X[t, 64] = PFAR_EL1; else UNDEFINED; elsif PSTATE.EL == EL3 then if EL2Enabled() && !ELUsingAArch32(EL2) && HCR_EL2.E2H == '1' then X[t, 64] = PFAR_EL1; else UNDEFINED;

MSR PFAR_EL12, <Xt>

op0op1CRnCRmop2
0b110b1010b01100b00000b101

if PSTATE.EL == EL0 then UNDEFINED; elsif PSTATE.EL == EL1 then if EL2Enabled() && HCR_EL2.<NV2,NV1,NV> == '101' then NVMem[0x2D0] = X[t, 64]; elsif EL2Enabled() && HCR_EL2.NV == '1' then AArch64.SystemAccessTrap(EL2, 0x18); else UNDEFINED; elsif PSTATE.EL == EL2 then if HCR_EL2.E2H == '1' then PFAR_EL1 = X[t, 64]; else UNDEFINED; elsif PSTATE.EL == EL3 then if EL2Enabled() && !ELUsingAArch32(EL2) && HCR_EL2.E2H == '1' then PFAR_EL1 = X[t, 64]; else UNDEFINED;


30/09/2022 15:58; 21c5a6dd0fdaf10a712e2f2d6fffbdbd66d4d96f

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

no old filehtmldiff from-(new)