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",