void PMC_DisableProcessorClock(void) { AT91C_BASE_PMC->PMC_SCDR = AT91C_PMC_PCK; while ((AT91C_BASE_PMC->PMC_SCSR & AT91C_PMC_PCK) != AT91C_PMC_PCK); }