[coreboot-gerrit] Change in coreboot[master]: src/lib: Allow the board_reset() function to be overridden

[Martin Roth (Code Review)]

Martin Roth has uploaded this change for review. ( https://review.coreboot.org/c/coreboot/+/43757 )

Change subject: src/lib: Allow the board_reset() function to be overridden
......................................................................

src/lib: Allow the board_reset() function to be overridden

psp_verstage is currently hanging on reset due to the dcache_clean_all()
function in board_reset.  Allowing the board_reset() call to be
overridden allows us to fix that cleanly.

Signed-off-by: Martin Roth 
Change-Id: I563592326a6f5fed77b369c07be8e23a918c180e
---
M src/lib/Kconfig
M src/lib/reset.c
2 files changed, 7 insertions(+), 0 deletions(-)

git pull ssh://review.coreboot.org:29418/coreboot refs/changes/57/43757/1

diff --git a/src/lib/Kconfig b/src/lib/Kconfig
index a6fb1f1..5270fee 100644
--- a/src/lib/Kconfig
+++ b/src/lib/Kconfig
@@ -1,3 +1,8 @@
+config CUSTOM_BOARD_RESET
+	bool
+	help
+	  Selected by chips that need a different board_reset() function.
+
 config MISSING_BOARD_RESET
    bool
    help
diff --git a/src/lib/reset.c b/src/lib/reset.c
index 891b9f5..ed050d7 100644
--- a/src/lib/reset.c
+++ b/src/lib/reset.c
@@ -5,6 +5,7 @@
 #include <halt.h>
 #include <reset.h>

+#if !CONFIG(CUSTOM_BOARD_RESET)
 __noreturn void board_reset(void)
 {
    printk(BIOS_INFO, "%s() called!\n", __func__);
@@ -12,6 +13,7 @@
    do_board_reset();
    halt();
 }
+#endif

#if CONFIG(MISSING_BOARD_RESET)
 void do_board_reset(void)