#include <ctl_api.h> unsigned long ctl_get_ticks_per_second(void);
Returns the number of ticks in a second.
ctl_get_ticks_per_second is provided in every implementation of the CrossWorks tasking library.