Symbol: ps3_os_area_set_rtc_diff