nvcore_frequency   97 drivers/video/fbdev/ps3fb.c 	u32 nvcore_frequency;
nvcore_frequency 1062 drivers/video/fbdev/ps3fb.c 		dinfo->nvcore_frequency/1000000,