Beispiel #1
0
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;
}
Beispiel #3
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
}