default_gfx_clock  118 drivers/video/fbdev/sstfb.c  { .name = "Voodoo Graphics", .default_gfx_clock = 50000, .max_gfxclk = 60 },
default_gfx_clock  119 drivers/video/fbdev/sstfb.c  { .name = "Voodoo2",	      .default_gfx_clock = 75000, .max_gfxclk = 85 },
default_gfx_clock 1192 drivers/video/fbdev/sstfb.c 	gfx_clock = spec->default_gfx_clock;
default_gfx_clock  333 include/video/sstfb.h 	int default_gfx_clock;	/* 50000 for voodoo1, 75000 for voodoo2 */