ICH_AP0R2_EL2
write_gicreg(val, ICH_AP0R2_EL2);
val = read_gicreg(ICH_AP0R2_EL2);
EL2_REG_VNCR_GICv3(ICH_AP0R2_EL2),
EL2_REG(ICH_AP0R2_EL2, ich_apr),