/* Set the PendSV pending. 
This function will Set the PendSV pending. */
void xPendSVPendSet(void)
/* Set the PendSV pending. 
This function will Set the PendSV pending. */
void xPendSVPendSet(void)
{
    xHWREG(NVIC_INT_CTRL) |= NVIC_INT_CTRL_PEND_SV;
}