1 // SPDX-License-Identifier: GPL-2.0+
2 /*
3  * Copyright 2014 Broadcom Corporation.
4  */
5 
6 #include <common.h>
7 #include <cpu_func.h>
8 #include <asm/io.h>
9 
10 #define CRU_RESET_OFFSET	0x1803F184
11 
reset_cpu(void)12 void reset_cpu(void)
13 {
14 	/* Reset the cpu by setting software reset request bit */
15 	writel(0x1, CRU_RESET_OFFSET);
16 
17 	while (1)
18 		;	/* loop forever till reset */
19 }
20