ps3_repository_read_tb_freq
int __init ps3_repository_read_tb_freq(u64 node_id, u64 *tb_freq);
: ps3_repository_read_tb_freq(node_id, tb_freq);