Compiler/TDA2EXEVM: What is default frequency of Timer 0 or System counter?

Part Number:TDA2EXEVM

Tool/software: TI C/C++ Compiler

Hi,

I am trying to read the system counter with using 

ASM("isb");
ASM("MRRC p15, 0, R1, R2, c14");// Read 64-bit CNTPCT into R1 (low word) and R2 (high word)

i am getting proper Value of counter into r1 and R12. But i do not know freqency of system counter. I was tried to read using MRC p15, 0, R5, c14, c0, 0 but i had got zero value.

or how to  initialize PL1?

Regards,

Kiran Vidhate