gicv5_its_select_cpu
gicv5_its_select_cpu(dev, (struct intr_irqsrc *)girq);
gicv5_its_select_cpu(dev, isrc);