DDI0416B_gic_pl390_r0p0_trm.pdf