ps3_repository_read_tb_freq  214 arch/powerpc/platforms/ps3/platform.h int ps3_repository_read_tb_freq(u64 node_id, u64 *tb_freq);
ps3_repository_read_tb_freq 1026 arch/powerpc/platforms/ps3/repository.c 		: ps3_repository_read_tb_freq(node_id, tb_freq);