SYS_ICC_AP1R0_EL1
apr = read_sysreg_s(SYS_ICC_AP1R0_EL1);
if (likely(apr != read_sysreg_s(SYS_ICC_AP1R0_EL1)))
{ SYS_DESC(SYS_ICC_AP1R0_EL1), undef_access },
{ CP15_SYS_DESC(SYS_ICC_AP1R0_EL1), undef_access },
{ SYS_DESC(SYS_ICC_AP1R0_EL1),
SR(SYS_ICC_AP1R0_EL1),
uint64_t reg = read_sysreg_s(SYS_ICC_AP1R0_EL1);
write_sysreg_s(val, SYS_ICC_AP1R0_EL1);