Symbol: gicv5_irs_alloc_ist