ICH_AP1R0_EL2
write_gicreg(val, ICH_AP1R0_EL2);
val = read_gicreg(ICH_AP1R0_EL2);
EL2_REG_VNCR_GICv3(ICH_AP1R0_EL2),
EL2_REG(ICH_AP1R0_EL2, ich_apr),
#define ICH_AP1RN(n) (ICH_AP1R0_EL2 + (n))