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 */
16void lowlevel_init(void)
17{
18}
19
20void reset_cpu(void)
21{
22	writel(1, GXP_CCR);
23
24	while (1)
25		;	/* loop forever till reset */
26}
27