void PMC_CPUInIdleMode(void) { PMC_DisableProcessorClock(); #ifdef CP15_PRESENT _waitForInterrupt(); #endif }