tb_val             35 arch/powerpc/platforms/ps3/time.c 	u64 tb_val;
tb_val             37 arch/powerpc/platforms/ps3/time.c 	result = lv1_get_rtc(&rtc_val, &tb_val);
tb_val             21 drivers/rtc/rtc-ps3.c 	u64 tb_val;
tb_val             23 drivers/rtc/rtc-ps3.c 	result = lv1_get_rtc(&rtc_val, &tb_val);