| Angel Pons | 118a9c7 | 2020-04-02 23:48:34 +0200 | [diff] [blame] | 1 | /* SPDX-License-Identifier: GPL-2.0-only */ |
| 2 | /* This file is part of the coreboot project. */ |
| Julius Werner | 01f9aa5 | 2017-05-18 16:03:26 -0700 | [diff] [blame] | 3 | |
| 4 | #include <arch/cache.h> |
| 5 | #include <console/console.h> |
| 6 | #include <halt.h> |
| 7 | #include <reset.h> |
| 8 | |
| Nico Huber | 4f32b64 | 2018-10-05 23:40:21 +0200 | [diff] [blame] | 9 | __noreturn void board_reset(void) |
| 10 | { |
| 11 | printk(BIOS_INFO, "%s() called!\n", __func__); |
| 12 | dcache_clean_all(); |
| 13 | do_board_reset(); |
| 14 | halt(); |
| 15 | } |
| 16 | |
| Julius Werner | cd49cce | 2019-03-05 16:53:33 -0800 | [diff] [blame] | 17 | #if CONFIG(MISSING_BOARD_RESET) |
| Nico Huber | 4f32b64 | 2018-10-05 23:40:21 +0200 | [diff] [blame] | 18 | void do_board_reset(void) |
| 19 | { |
| 20 | printk(BIOS_CRIT, "No board_reset implementation, hanging...\n"); |
| 21 | } |
| Nico Huber | 4f32b64 | 2018-10-05 23:40:21 +0200 | [diff] [blame] | 22 | #endif |