ps3_os_area_get_rtc_diff
extern u64 ps3_os_area_get_rtc_diff(void);
EXPORT_SYMBOL_GPL(ps3_os_area_get_rtc_diff);
return read_rtc() + ps3_os_area_get_rtc_diff();
rtc_time64_to_tm(read_rtc() + ps3_os_area_get_rtc_diff(), tm);