forked from Imagelibrary/rtems
@@ -204,8 +204,9 @@ uint32_t _CPU_ISR_Get_level( void )
|
|||||||
|
|
||||||
void *_CPU_Thread_Idle_body( uintptr_t ignored )
|
void *_CPU_Thread_Idle_body( uintptr_t ignored )
|
||||||
{
|
{
|
||||||
do {
|
while ( true ) {
|
||||||
} while (1);
|
__asm__ volatile ( "wfi" );
|
||||||
|
}
|
||||||
|
|
||||||
return NULL;
|
return NULL;
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -360,16 +360,6 @@ void _CPU_Initialize(
|
|||||||
void
|
void
|
||||||
);
|
);
|
||||||
|
|
||||||
/*
|
|
||||||
* _CPU_Thread_Idle_body
|
|
||||||
*
|
|
||||||
* This routine is the CPU dependent IDLE thread body.
|
|
||||||
*
|
|
||||||
* NOTE: It need only be provided if CPU_PROVIDES_IDLE_THREAD_BODY
|
|
||||||
* is TRUE.
|
|
||||||
*
|
|
||||||
*/
|
|
||||||
|
|
||||||
void *_CPU_Thread_Idle_body( uintptr_t ignored );
|
void *_CPU_Thread_Idle_body( uintptr_t ignored );
|
||||||
|
|
||||||
/*
|
/*
|
||||||
|
|||||||
Reference in New Issue
Block a user