/* Resets the device. 
This function will perform a software reset of the entire device. Processor and all peripherals will be reset and all device registers will return to their default values (with the exception of the reset cause register, which will maintain its current value but have the software reset bit set as well). */
void xSysCtlReset(void)
/* Resets the device. 
This function will perform a software reset of the entire device. Processor and all peripherals will be reset and all device registers will return to their default values (with the exception of the reset cause register, which will maintain its current value but have the software reset bit set as well). */
void xSysCtlReset(void)
{
    xHWREG(NVIC_APINT) = NVIC_APINT_VECTKEY | NVIC_APINT_SYSRESETREQ;
    while(1)
    {
    }
}