Symbol: gicv5_its_device_get_itte_ref
drivers/irqchip/irq-gic-v5-its.c
852
itte = gicv5_its_device_get_itte_ref(its_dev, event_id);
drivers/irqchip/irq-gic-v5-its.c
873
itte = gicv5_its_device_get_itte_ref(its_dev, event_id);