Symbol: its_select_cpu
drivers/irqchip/irq-gic-v3-its.c
1783
cpu = its_select_cpu(d, mask_val);
drivers/irqchip/irq-gic-v3-its.c
3729
cpu = its_select_cpu(d, cpu_online_mask);