up_timer_gettime can be called before module is initialised when CONFIG_SCHED_IRQMONITOR is enabled. This fix aligns with stm32f7 implementation.
up_timer_gettime can be called before module is initialised when CONFIG_SCHED_IRQMONITOR is enabled. This fix aligns with stm32f7 implementation.