/* Set the SysTick pending. 
This function will Set the SysTick pending. */
void xSysTickPendSet(void)
/* Set the SysTick pending. 
This function will Set the SysTick pending. */
void xSysTickPendSet(void)
{
    xHWREG(NVIC_INT_CTRL) |= NVIC_INT_CTRL_PENDSTSET;
}