Searched refs:board_set_timer_default (Results 1 – 1 of 1) sorted by relevance
943 static void board_set_timer_default(timer_dev_t *timer_device) in board_set_timer_default() function985 board_set_timer_default(&device); in board_parse_timer()
Completed in 5 milliseconds