xenfb_queue_full  132 drivers/video/fbdev/xen-fbfront.c 		if (!xenfb_queue_full(info)) {
xenfb_queue_full  164 drivers/video/fbdev/xen-fbfront.c 	if (xenfb_queue_full(info)) {