ps3fb_sync        516 drivers/video/fbdev/ps3fb.c 				ps3fb_sync(info, 0);	/* single buffer */
ps3fb_sync        878 drivers/video/fbdev/ps3fb.c 		retval = ps3fb_sync(info, val);
ps3fb_sync        900 drivers/video/fbdev/ps3fb.c 			ps3fb_sync(info, 0);	/* single buffer */