tb_freq           214 arch/powerpc/platforms/ps3/platform.h int ps3_repository_read_tb_freq(u64 node_id, u64 *tb_freq);
tb_freq           215 arch/powerpc/platforms/ps3/platform.h int ps3_repository_read_be_tb_freq(unsigned int be_index, u64 *tb_freq);
tb_freq          1008 arch/powerpc/platforms/ps3/repository.c int ps3_repository_read_tb_freq(u64 node_id, u64 *tb_freq)
tb_freq          1015 arch/powerpc/platforms/ps3/repository.c 		tb_freq, NULL);
tb_freq          1018 arch/powerpc/platforms/ps3/repository.c int ps3_repository_read_be_tb_freq(unsigned int be_index, u64 *tb_freq)
tb_freq          1023 arch/powerpc/platforms/ps3/repository.c 	*tb_freq = 0;
tb_freq          1026 arch/powerpc/platforms/ps3/repository.c 		: ps3_repository_read_tb_freq(node_id, tb_freq);