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);