Symbol: its_flush_cmd
drivers/irqchip/irq-gic-v3-its.c
1230
its_flush_cmd(its, cmd); \
drivers/irqchip/irq-gic-v3-its.c
1238
its_flush_cmd(its, sync_cmd); \