Symbol: gicv5_its_itt_cache_inv
drivers/irqchip/irq-gic-v5-its.c
862
gicv5_its_itt_cache_inv(its, its_dev->device_id, event_id);
drivers/irqchip/irq-gic-v5-its.c
880
gicv5_its_itt_cache_inv(its, its_dev->device_id, event_id);