diff --git a/bdk/soc/hw_init.c b/bdk/soc/hw_init.c
index af7746c..b263c57 100644
--- a/bdk/soc/hw_init.c
+++ b/bdk/soc/hw_init.c
@@ -436,7 +436,7 @@ void hw_init()
 	clock_enable_host1x();
 }
 
-void hw_reinit_workaround(bool coreboot, u32 bl_magic)
+void hw_deinit(bool coreboot, u32 bl_magic)
 {
 	bool tegra_t210 = hw_get_chip_id() == GP_HIDREV_MAJOR_T210;
 
diff --git a/bdk/soc/hw_init.h b/bdk/soc/hw_init.h
index fe6f6af..fcd8d10 100644
--- a/bdk/soc/hw_init.h
+++ b/bdk/soc/hw_init.h
@@ -27,7 +27,7 @@ extern u32 hw_rst_status;
 extern u32 hw_rst_reason;
 
 void hw_init();
-void hw_reinit_workaround(bool coreboot, u32 magic);
+void hw_deinit(bool coreboot, u32 magic);
 void hw_config_arbiter(bool reset);
 u32  hw_get_chip_id();
 
diff --git a/bdk/utils/util.c b/bdk/utils/util.c
index 0f97971..2e9c01d 100644
--- a/bdk/utils/util.c
+++ b/bdk/utils/util.c
@@ -262,7 +262,7 @@ void power_set_state(power_state_t state)
 	sd_end();
 
 	// De-initialize and power down various hardware.
-	hw_reinit_workaround(false, 0);
+	hw_deinit(false, 0);
 
 	// Set power state.
 	switch (state)