Symbol: xenfb_send_event
drivers/video/fbdev/xen-fbfront.c
103
xenfb_send_event(info, &event);
drivers/video/fbdev/xen-fbfront.c
114
xenfb_send_event(info, &event);