Symbol: gicv5_irs_ist_synchronise