1 /* 2 * Copyright (c) 2006-2018, RT-Thread Development Team 3 * 4 * SPDX-License-Identifier: Apache-2.0 5 * 6 * Change Logs: 7 * Date Author Notes 8 * 2013-07-20 Bernard first version 9 */ 10 11 #include <rthw.h> 12 #include <rtthread.h> 13 #include "zynq7000.h" 14 15 /** 16 * reset cpu by dog's time-out 17 * 18 */ rt_hw_cpu_reset()19void rt_hw_cpu_reset() 20 { 21 while (1); /* loop forever and wait for reset to happen */ 22 23 /* NEVER REACHED */ 24 } 25 26 /** 27 * shutdown CPU 28 * 29 */ rt_hw_cpu_shutdown()30void rt_hw_cpu_shutdown() 31 { 32 rt_uint32_t level; 33 rt_kprintf("shutdown...\n"); 34 35 level = rt_hw_interrupt_disable(); 36 while (level) 37 { 38 RT_ASSERT(0); 39 } 40 } 41 42