ps3_os_area_set_rtc_diff
extern void ps3_os_area_set_rtc_diff(u64 rtc_diff);
EXPORT_SYMBOL_GPL(ps3_os_area_set_rtc_diff);
ps3_os_area_set_rtc_diff(rtc_tm_to_time64(tm) - read_rtc());