Symbol: do_ack_dynirq
drivers/xen/events/events_base.c
1883
do_ack_dynirq(info);
drivers/xen/events/events_base.c
1892
do_ack_dynirq(info);