/* This function returns the current value of the SysTick counter, which is a value between the period - 1 and zero, inclusive. */
uint32_t SysTickValueGet(void)
/* This function returns the current value of the SysTick counter, which is a value between the period - 1 and zero, inclusive. */
uint32_t SysTickValueGet(void)
{
    return(HWREG(NVIC_ST_CURRENT));
}