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