/* Gets the current value of the SysTick counter. 
This function returns the current value of the SysTick counter; this will be a value between the period - 1 and zero, inclusive. */
unsigned long xSysTickValueGet(void)
/* Gets the current value of the SysTick counter. 
This function returns the current value of the SysTick counter; this will be a value between the period - 1 and zero, inclusive. */
unsigned long xSysTickValueGet(void)
{
    return(xHWREG(NVIC_ST_CURRENT));
}