/* Disables the SysTick interrupt. 
This function will disable the SysTick interrupt, preventing it from being reflected to the processor. */
void xSysTickIntDisable(void)
/* Disables the SysTick interrupt. 
This function will disable the SysTick interrupt, preventing it from being reflected to the processor. */
void xSysTickIntDisable(void)
{
    xHWREG(NVIC_ST_CTRL) &= ~(NVIC_ST_CTRL_INTEN);
}