This function returns the 32-bit total tick count of the timer. This means concatenating the hardware timer value to the overflow counter
uint32_t rtcount_getTickCount( void )
Type: uint32_t