__arch_get_system_time_offset
bigtime_t __arch_get_system_time_offset(struct real_time_data *data);
return __arch_get_system_time_offset(sRealTimeData);
return (__arch_get_system_time_offset(sRealTimeData) + system_time())
return __arch_get_system_time_offset(sRealTimeData) + system_time();