max_pixclock      466 drivers/video/fbdev/tdfxfb.c 	    (par->max_pixclock < VOODOO3_MAX_PIXCLOCK)) {
max_pixclock      500 drivers/video/fbdev/tdfxfb.c 	if (PICOS2KHZ(var->pixclock) > par->max_pixclock) {
max_pixclock      570 drivers/video/fbdev/tdfxfb.c 	if (freq > par->max_pixclock / 2) {
max_pixclock      571 drivers/video/fbdev/tdfxfb.c 		freq = freq > par->max_pixclock ? par->max_pixclock : freq;
max_pixclock     1399 drivers/video/fbdev/tdfxfb.c 		default_par->max_pixclock = BANSHEE_MAX_PIXCLOCK;
max_pixclock     1403 drivers/video/fbdev/tdfxfb.c 		default_par->max_pixclock = VOODOO3_MAX_PIXCLOCK;
max_pixclock     1407 drivers/video/fbdev/tdfxfb.c 		default_par->max_pixclock = VOODOO5_MAX_PIXCLOCK;
max_pixclock      196 include/video/tdfx.h 	u32 max_pixclock;