SYS_ICC_CTLR_EL1
write_sysreg_s(val, SYS_ICC_CTLR_EL1);
return read_sysreg_s(SYS_ICC_CTLR_EL1);
HOST_HANDLED(SYS_ICC_CTLR_EL1),
case SYS_ICC_CTLR_EL1:
case SYS_ICC_CTLR_EL1:
{ SYS_DESC(SYS_ICC_CTLR_EL1), undef_access },
{ CP15_SYS_DESC(SYS_ICC_CTLR_EL1), undef_access },
{ SYS_DESC(SYS_ICC_CTLR_EL1),
SR(SYS_ICC_CTLR_EL1),
PACK_SR(SYS_ICC_CTLR_EL1), &val);
write_sysreg_s(val, SYS_ICC_CTLR_EL1);