VOODOO3_MAX_PIXCLOCK  466 drivers/video/fbdev/tdfxfb.c 	    (par->max_pixclock < VOODOO3_MAX_PIXCLOCK)) {
VOODOO3_MAX_PIXCLOCK 1403 drivers/video/fbdev/tdfxfb.c 		default_par->max_pixclock = VOODOO3_MAX_PIXCLOCK;