Symbol: its_dec_lpi_count
drivers/irqchip/irq-gic-v3-its.c
1780
its_dec_lpi_count(d, prev_cpu);
drivers/irqchip/irq-gic-v3-its.c
3748
its_dec_lpi_count(d, its_dev->event_map.col_map[event]);