TK1 hardware timer interrupt

I want to count the pulse from the speed sensor. Actually, how can I get an accurate timer to calculate the speed, like the timer interrupt in Arduino board?

Hi, there are chapters of timer&Interrupt in TRM of TK1, you can check that first.