Symbol: gicv5_its_select_cpu