/* This will start the SysTick counter. If an interrupt handler has been registered, it will be called when the SysTick counter rolls over. */
void xSysTickEnable(void)
/* This will start the SysTick counter. If an interrupt handler has been registered, it will be called when the SysTick counter rolls over. */
void xSysTickEnable(void)
{
    xHWREG(NVIC_ST_CTRL) |= NVIC_ST_CTRL_ENABLE;
}