SYS_ID_PFR0_EL1
init_cpu_ftr_reg(SYS_ID_PFR0_EL1, info->reg_id_pfr0);
taint |= check_update_ftr_reg(SYS_ID_PFR0_EL1, cpu,
read_sysreg_case(SYS_ID_PFR0_EL1);
ARM64_FTR_REG(SYS_ID_PFR0_EL1, ftr_id_pfr0),
AARCH32(SYS_ID_PFR0_EL1),
GUEST_ASSERT_REG_RAZ(SYS_ID_PFR0_EL1);
KVM_ARM64_SYS_REG(SYS_ID_PFR0_EL1),