ICH_AP0R0_EL2
write_gicreg(val, ICH_AP0R0_EL2);
val = read_gicreg(ICH_AP0R0_EL2);
EL2_REG_VNCR_GICv3(ICH_AP0R0_EL2),
EL2_REG(ICH_AP0R0_EL2, ich_apr),
#define ICH_AP0RN(n) (ICH_AP0R0_EL2 + (n))