ps3_repository_read_be_tb_freq  215 arch/powerpc/platforms/ps3/platform.h int ps3_repository_read_be_tb_freq(unsigned int be_index, u64 *tb_freq);
ps3_repository_read_be_tb_freq   24 arch/powerpc/platforms/ps3/time.c 	result = ps3_repository_read_be_tb_freq(0, &tmp);