voltage I/O & system timer

Hello, I have two questions : I don't know why calling alt_timerstamp_start() generates ticks count at 50 MHz. Although I initialized the Timestamp timer (HIGH_RES_TIMER) at 1ms/tick in S...