/* Disables the SysTick counter. 
This will stop the SysTick counter. If an interrupt handler has been registered, it will no longer be called until SysTick is restarted. */
void xSysTickDisable(void)
/* Disables the SysTick counter. 
This will stop the SysTick counter. If an interrupt handler has been registered, it will no longer be called until SysTick is restarted. */
void xSysTickDisable(void)
{
    xHWREG(NVIC_ST_CTRL) &= ~(NVIC_ST_CTRL_ENABLE);
}