gp_timer_read
gp_timer_read(gp_timer_ID_t ID);
curr_ts->ticks = (clock_value_t)gp_timer_read(GP_TIMER_SEL);