static void clock_inittime(void) { /* (Re-)initialize the time value to match the RTC*/ clock_basetime(&g_basetime); g_system_timer = 0; g_tickbias = 0; }
static void clock_inittime(void) { /* (Re-)initialize the time value to match the RTC */ clock_basetime(&g_basetime); #ifndef CONFIG_SCHED_TICKLESS g_system_timer = 0; #endif g_tickbias = 0; }
static void clock_inittime(void) { /* (Re-)initialize the time value to match the RTC */ #ifndef CONFIG_CLOCK_TIMEKEEPING #ifndef CONFIG_RTC_HIRES clock_basetime(&g_basetime); #endif #ifndef CONFIG_SCHED_TICKLESS g_system_timer = 0; #endif #else clock_inittimekeeping(); #endif }