/* An asynchronous write is needed to support writing updates from the timer interrupt context.  */
void ps3_os_area_set_rtc_diff(u64 rtc_diff)
/* An asynchronous write is needed to support writing updates from the timer interrupt context.  */
void ps3_os_area_set_rtc_diff(u64 rtc_diff)
{
	if (saved_params.rtc_diff != rtc_diff) {
		saved_params.rtc_diff = rtc_diff;
		os_area_queue_work();
	}
}