TK1 hardware timer interrupt

Hello,
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?
Thanks

Hi, there are chapters of timer&Interrupt in TRM of TK1, you can check that first.
http://developer.nvidia.com/embedded/dlc/TK1-TRM