Where to find Synergy RTC API documentation?

I used the Synergy Configuration to generate support for the RTC.  Now I need to find how the HW layer can be accessed from a ThreadX task.

Is there a document that describes the HAL APIs?

Thanks in advance,  Lee