/* Shuts the device down so it enters Off mode.  */
void SUPC_Shutdown(void)
/* Shuts the device down so it enters Off mode.  */
void SUPC_Shutdown(void)
{
    AT91C_BASE_SUPC->SUPC_CR = SUPC_KEY | AT91C_SUPC_SHDW;
    while (1);
}