Searched refs:gp_timer_ID_t (Results 1 – 3 of 3) sorted by relevance
25 gp_timer_init(gp_timer_ID_t ID);32 gp_timer_read(gp_timer_ID_t ID);
49 void gp_timer_init(gp_timer_ID_t ID) in gp_timer_init()68 gp_timer_read(gp_timer_ID_t ID) in gp_timer_read()
157 } gp_timer_ID_t; typedef