Searched refs:gp_timer_ID_t (Results 1 – 3 of 3) sorted by relevance
16 gp_timer_init(gp_timer_ID_t ID);23 gp_timer_read(gp_timer_ID_t ID);
40 void gp_timer_init(gp_timer_ID_t ID) in gp_timer_init()59 gp_timer_read(gp_timer_ID_t ID) in gp_timer_read()
154 } gp_timer_ID_t; typedef