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