chapter
INTERNAL S C LOCK
PPENDIX YSTEM ERVICES tx_time_get
Pages 3

This service returns the contents of the internal system clock. Each timer-tick increases the internal system clock count by one. The system clock is set to zero during initialization and can be changed to a specific value by the service

tx_time_set

.