f_dddprintk       224 drivers/video/fbdev/sstfb.c 			f_dddprintk("status: busy\n");
f_dddprintk       231 drivers/video/fbdev/sstfb.c 			f_dddprintk("status: idle(%d)\n", count);
f_dddprintk       673 drivers/video/fbdev/sstfb.c 	f_dddprintk("sstfb_setcolreg\n");
f_dddprintk       674 drivers/video/fbdev/sstfb.c 	f_dddprintk("%-2d rgbt: %#x, %#x, %#x, %#x\n",