Symbol: its_send_discard
drivers/irqchip/irq-gic-v3-its.c
1960
its_send_discard(its_dev, event);
drivers/irqchip/irq-gic-v3-its.c
1997
its_send_discard(its_dev, event);
drivers/irqchip/irq-gic-v3-its.c
3750
its_send_discard(its_dev, event);
drivers/irqchip/irq-gic-v3-its.c
3811
its_send_discard(vpe_proxy.dev, vpe->vpe_proxy_event);