Searched refs:system_time_t (Results 1 – 2 of 2) sorted by relevance
65 typedef uint32_t system_time_t; typedef90 system_time_t _system_time_get(const void *const hw);97 system_time_t _system_time_get_max_time_value(const void *const hw);
78 system_time_t _system_time_get(const void *const hw) in _system_time_get()81 return (system_time_t)SysTick->VAL; in _system_time_get()87 system_time_t _system_time_get_max_time_value(const void *const hw) in _system_time_get_max_time_value()
