void clock_synchronize(void)
{
irqstate_t flags;
/* Re-initialize the time value to match the RTC */
flags = enter_critical_section();
clock_inittime();
leave_critical_section(flags);
}
void clock_synchronize(void)
{
irqstate_t flags;
/* Re-initialize the time value to match the RTC */
flags = irqsave();
clock_inittime();
irqrestore(flags);
}
void clock_initialize(void)
{
/* Initialize the RTC hardware */
#ifdef CONFIG_RTC
up_rtcinitialize();
#endif
/* Initialize the time value to match the RTC */
clock_inittime();
}
void clock_initialize(void)
{
#if defined(CONFIG_RTC) && !defined(CONFIG_RTC_EXTERNAL)
/* Initialize the internal RTC hardware. Initialization of external RTC
* must be deferred until the system has booted.
*/
up_rtc_initialize();
#endif
/* Initialize the time value to match the RTC */
clock_inittime();
}