DF2
#define FEAT_DoubleFault2 ID_AA64PFR1_EL1, DF2, IMP
case DF2: return FIELD_GET(DF2_DST_FABRIC_ID, ctx->map.limit);
case DF2:
case DF2: return df2_get_dram_addr_map(ctx);
case DF2:
case DF2:
case DF2:
case DF2:
df_cfg.rev = DF2;
case DF2:
if (df_cfg.rev == DF2)
if (!SYS_FIELD_GET(ID_AA64PFR1_EL1, DF2, pfr1)) {
REG_FTR_BITS(FTR_LOWER_SAFE, ID_AA64PFR1_EL1, DF2, 0),