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