SYS_ICC_SRE_EL1
return read_sysreg_s(SYS_ICC_SRE_EL1);
write_sysreg_s(val, SYS_ICC_SRE_EL1);
{ SYS_DESC(SYS_ICC_SRE_EL1), .access = pvm_gic_read_sre, },
{ SYS_DESC(SYS_ICC_SRE_EL1), access_gic_sre },
{ CP15_SYS_DESC(SYS_ICC_SRE_EL1), access_gic_sre },
{ SYS_DESC(SYS_ICC_SRE_EL1),
SR(SYS_ICC_SRE_EL1),
write_sysreg_s(read_sysreg_s(SYS_ICC_SRE_EL1) | ICC_SRE_EL1_SRE,
SYS_ICC_SRE_EL1);