its_send_discard 1321 drivers/irqchip/irq-gic-v3-its.c 		its_send_discard(its_dev, event);
its_send_discard 1371 drivers/irqchip/irq-gic-v3-its.c 	its_send_discard(its_dev, event);
its_send_discard 2648 drivers/irqchip/irq-gic-v3-its.c 	its_send_discard(its_dev, event);
its_send_discard 2719 drivers/irqchip/irq-gic-v3-its.c 	its_send_discard(vpe_proxy.dev, vpe->vpe_proxy_event);