its_flush_cmd     815 drivers/irqchip/irq-gic-v3-its.c 	its_flush_cmd(its, cmd);					\
its_flush_cmd     823 drivers/irqchip/irq-gic-v3-its.c 		its_flush_cmd(its, sync_cmd);				\