getting timestamp (__clock64 equivalent)

Hello everybody,
I'm new to Parallella board and embedded programming in general, I hope I'm not asking a trivial question.
I'm porting a program on the board to evaluate its performance. It uses the __clock64() from OpenCL function to obtain a timestamp and I'd need something equivalent.
Is there anything in the Parallella SDK?
Thanks in advance
I'm new to Parallella board and embedded programming in general, I hope I'm not asking a trivial question.
I'm porting a program on the board to evaluate its performance. It uses the __clock64() from OpenCL function to obtain a timestamp and I'd need something equivalent.
Is there anything in the Parallella SDK?
Thanks in advance