Hot to obtain the RTI clock frequency?

Hi,

I'm working with a RM48HDK. I need to know the RTI clock frequency form inside the code.

There is some register to obtain it?

If (as the TRM says) there are some computation to obtain it, there's some example/HalCoGen function about?

At least can you give me an algorithm to guide the implementation?

Thank you