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