[coreboot-gerrit] Change in coreboot[master]: soc/imgtech/pistachio: Convert to `board_reset()`

[Nico Huber (Code Review)]

Nico Huber has uploaded this change for review. ( https://review.coreboot.org/29050

Change subject: soc/imgtech/pistachio: Convert to `board_reset()`
......................................................................

soc/imgtech/pistachio: Convert to `board_reset()`

Change-Id: If8fc29c46e2cbc69f94ea8b6dc414a93d82ffb28
Signed-off-by: Nico Huber 
---
M src/soc/imgtec/pistachio/Kconfig
M src/soc/imgtec/pistachio/reset.c
2 files changed, 1 insertion(+), 2 deletions(-)

git pull ssh://review.coreboot.org:29418/coreboot refs/changes/50/29050/1

diff --git a/src/soc/imgtec/pistachio/Kconfig b/src/soc/imgtec/pistachio/Kconfig
index 1ce488c..333216d 100644
--- a/src/soc/imgtec/pistachio/Kconfig
+++ b/src/soc/imgtec/pistachio/Kconfig
@@ -23,7 +23,6 @@
    select HAVE_MONOTONIC_TIMER
    select HAVE_UART_SPECIAL
    select GENERIC_GPIO_LIB
-	select HAVE_HARD_RESET
    select UART_OVERRIDE_REFCLK
    bool

diff --git a/src/soc/imgtec/pistachio/reset.c b/src/soc/imgtec/pistachio/reset.c
index c0e9105..d5d0a81 100644
--- a/src/soc/imgtec/pistachio/reset.c
+++ b/src/soc/imgtec/pistachio/reset.c
@@ -20,7 +20,7 @@
 #define PISTACHIO_WD_ADDR		0xB8102100
 #define PISTACHIO_WD_SW_RST_OFFSET	0x0000

-void do_hard_reset(void)
+void do_board_reset(void)
 {
    /* Generate system reset */
    write32(PISTACHIO_WD_ADDR + PISTACHIO_WD_SW_RST_OFFSET, 0x1);