|
@@ -148,7 +148,7 @@ rt_base_t rt_hw_cpu_dcache_status()
|
|
* reset cpu by dog's time-out
|
|
* reset cpu by dog's time-out
|
|
*
|
|
*
|
|
*/
|
|
*/
|
|
-void rt_hw_cpu_reset()
|
|
|
|
|
|
+RT_WEAK void rt_hw_cpu_reset()
|
|
{
|
|
{
|
|
/* Disable all interrupt except the WDT */
|
|
/* Disable all interrupt except the WDT */
|
|
INTMSK = (~((rt_uint32_t)1 << INTWDT));
|
|
INTMSK = (~((rt_uint32_t)1 << INTWDT));
|
|
@@ -171,7 +171,7 @@ void rt_hw_cpu_reset()
|
|
* shutdown CPU
|
|
* shutdown CPU
|
|
*
|
|
*
|
|
*/
|
|
*/
|
|
-void rt_hw_cpu_shutdown()
|
|
|
|
|
|
+RT_WEAK void rt_hw_cpu_shutdown()
|
|
{
|
|
{
|
|
rt_uint32_t level;
|
|
rt_uint32_t level;
|
|
rt_kprintf("shutdown...\n");
|
|
rt_kprintf("shutdown...\n");
|