its_vpe_send_cmd 2935 drivers/irqchip/irq-gic-v3-its.c 		its_vpe_send_cmd(vpe, its_send_inv);
its_vpe_send_cmd 2980 drivers/irqchip/irq-gic-v3-its.c 			its_vpe_send_cmd(vpe, its_send_int);
its_vpe_send_cmd 2982 drivers/irqchip/irq-gic-v3-its.c 			its_vpe_send_cmd(vpe, its_send_clear);