|
@@ -12,6 +12,7 @@
|
|
* 2006-03-13 Bernard first version
|
|
* 2006-03-13 Bernard first version
|
|
*/
|
|
*/
|
|
|
|
|
|
|
|
+#include <rthw.h>
|
|
#include <rtthread.h>
|
|
#include <rtthread.h>
|
|
#include "s3c24x0.h"
|
|
#include "s3c24x0.h"
|
|
|
|
|
|
@@ -180,7 +181,10 @@ void rt_hw_cpu_shutdown()
|
|
rt_kprintf("shutdown...\n");
|
|
rt_kprintf("shutdown...\n");
|
|
|
|
|
|
level = rt_hw_interrupt_disable();
|
|
level = rt_hw_interrupt_disable();
|
|
- RT_ASSERT(RT_NULL);
|
|
|
|
|
|
+ while (level)
|
|
|
|
+ {
|
|
|
|
+ RT_ASSERT(0);
|
|
|
|
+ }
|
|
}
|
|
}
|
|
|
|
|
|
/*@}*/
|
|
/*@}*/
|