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