its_vpe_send_inv 2948 drivers/irqchip/irq-gic-v3-its.c 	its_vpe_send_inv(d);
its_vpe_send_inv 2955 drivers/irqchip/irq-gic-v3-its.c 	its_vpe_send_inv(d);