Symbol: gicv5_its_cache_sync
drivers/irqchip/irq-gic-v5-its.c
136
return gicv5_its_cache_sync(its);
drivers/irqchip/irq-gic-v5-its.c
377
return gicv5_its_cache_sync(its);