1 // SPDX-License-Identifier: GPL-2.0+
2 /*
3  * GXP driver
4  *
5  * (C) Copyright 2022 Hewlett Packard Enterprise Development LP.
6  * Author: Nick Hawkins <nick.hawkins@hpe.com>
7  * Author: Jean-Marie Verdun <verdun@hpe.com>
8  */
9 
10 #include <cpu_func.h>
11 #include <asm/io.h>
12 
13 #define GXP_CCR	0xc0000000
14 
15 /* empty to satisfy current lowlevel_init, can be removed any time */
lowlevel_init(void)16 void lowlevel_init(void)
17 {
18 }
19 
reset_cpu(void)20 void reset_cpu(void)
21 {
22 	writel(1, GXP_CCR);
23 
24 	while (1)
25 		;	/* loop forever till reset */
26 }
27