void *_CPU_Thread_Idle_body( uintptr_t ignored ) { do { _OR1K_CPU_Sleep(); } while (1); }
void _CPU_Thread_Idle_body( void ) { do { _OR1K_CPU_Sleep(); } while (1); }