blob: c6c394bd442a76af7d7fb1f947800d825688bd96 [file] [log] [blame]
Angel Pons0612b272020-04-05 15:46:56 +02001/* SPDX-License-Identifier: GPL-2.0-only */
Lee Leahy14ecb542015-02-09 21:16:14 -08002
Patrick Rudolphf677d172018-10-01 19:17:11 +02003#include <arch/cache.h>
4#include <cf9_reset.h>
5#include <console/console.h>
6#include <halt.h>
Lee Leahy14ecb542015-02-09 21:16:14 -08007#include <reset.h>
8
Patrick Rudolphf677d172018-10-01 19:17:11 +02009#include "reset.h"
Lee Leahy14ecb542015-02-09 21:16:14 -080010
Patrick Rudolphf677d172018-10-01 19:17:11 +020011void global_reset(void)
Lee Leahy14ecb542015-02-09 21:16:14 -080012{
Patrick Rudolphf677d172018-10-01 19:17:11 +020013 printk(BIOS_INFO, "%s() called!\n", __func__);
14 cf9_reset_prepare();
15 dcache_clean_all();
Furquan Shaikhb13bd1e2020-09-21 22:44:27 +000016 do_global_reset();
Patrick Rudolphf677d172018-10-01 19:17:11 +020017 halt();
18}
19
20void do_board_reset(void)
21{
22 full_reset();
Lee Leahy14ecb542015-02-09 21:16:14 -080023}