/* Disables the processor clock, making the device enter Idle mode.  */
void PMC_DisableProcessorClock(void)
/* Disables the processor clock, making the device enter Idle mode.  */
void PMC_DisableProcessorClock(void)
{
    AT91C_BASE_PMC->PMC_SCDR = AT91C_PMC_PCK;
    while ((AT91C_BASE_PMC->PMC_SCSR & AT91C_PMC_PCK) != AT91C_PMC_PCK);
}