its_send_vmapp   1244 drivers/irqchip/irq-gic-v3-its.c 			its_send_vmapp(its, vpe, true);
its_send_vmapp   1267 drivers/irqchip/irq-gic-v3-its.c 			its_send_vmapp(its, vm->vpes[i], false);
its_send_vmapp   3150 drivers/irqchip/irq-gic-v3-its.c 		its_send_vmapp(its, vpe, true);
its_send_vmapp   3176 drivers/irqchip/irq-gic-v3-its.c 		its_send_vmapp(its, vpe, false);