read_rtc
return read_rtc() + ps3_os_area_get_rtc_diff();
rtc_time64_to_tm(read_rtc() + ps3_os_area_get_rtc_diff(), tm);
ps3_os_area_set_rtc_diff(rtc_tm_to_time64(tm) - read_rtc());