Searched refs:hal_user_timer0_is_enabled (Results 1 – 2 of 2) sorted by relevance
32 int hal_user_timer0_is_enabled(void);
1043 int hal_user_timer0_is_enabled(void) in hal_user_timer0_is_enabled() function