1 /*
2  * Copyright (c) 2006-2021, RT-Thread Development Team
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  *
6  * Change Logs:
7  * Date           Author       Notes
8  * 2020-03-19     WangHuachen  first version
9  */
10 
11 #include <rthw.h>
12 #include <rtthread.h>
13 #include "zynqmp-r5.h"
14 
rt_hw_cpu_reset()15 void rt_hw_cpu_reset()
16 {
17     __REG32(ZynqMP_CRL_APB_BASEADDR + ZynqMP_CRL_APB_RESET_CTRL) |= ZynqMP_RESET_MASK;
18     while (1);  /* loop forever and wait for reset to happen */
19     /* NEVER REACHED */
20 }
21