Loading...
// SPDX-License-Identifier: GPL-2.0+ /* * GXP driver * * (C) Copyright 2022 Hewlett Packard Enterprise Development LP. * Author: Nick Hawkins <nick.hawkins@hpe.com> * Author: Jean-Marie Verdun <verdun@hpe.com> */ #include <cpu_func.h> #include <asm/io.h> #define GXP_CCR 0xc0000000 /* empty to satisfy current lowlevel_init, can be removed any time */ void lowlevel_init(void) { } void reset_cpu(void) { writel(1, GXP_CCR); while (1) ; /* loop forever till reset */ } |