Searched refs:ps3_os_area_get_rtc_diff (Results 1 – 3 of 3) sorted by relevance
45 return read_rtc() + ps3_os_area_get_rtc_diff(); in ps3_get_boot_time()
802 u64 ps3_os_area_get_rtc_diff(void) in ps3_os_area_get_rtc_diff() function806 EXPORT_SYMBOL_GPL(ps3_os_area_get_rtc_diff);
40 extern u64 ps3_os_area_get_rtc_diff(void);