ICC_SRE_EL1_SRE
p->regval = ICC_SRE_EL1_DIB | ICC_SRE_EL1_DFB | ICC_SRE_EL1_SRE;
write_gicreg(ICC_SRE_EL1_SRE, ICC_SRE_EL1);
val = (val & ICC_SRE_EL1_SRE) ? 0 : (1ULL << 63);
if (!(val & ICC_SRE_EL1_SRE))
ICC_SRE_EL1_SRE);
if (val & ICC_SRE_EL1_SRE)
val |= ICC_SRE_EL1_SRE;
return !!(val & ICC_SRE_EL1_SRE);
write_sysreg_s(read_sysreg_s(SYS_ICC_SRE_EL1) | ICC_SRE_EL1_SRE,