1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 3 #include <arch/cache.h> 4 #include <cf9_reset.h> 5 #include <console/console.h> 6 #include <halt.h> 7 #include <reset.h> 8 9 #include "reset.h" 10 global_reset(void)11void global_reset(void) 12 { 13 printk(BIOS_INFO, "%s() called!\n", __func__); 14 cf9_reset_prepare(); 15 dcache_clean_all(); 16 do_global_reset(); 17 halt(); 18 } 19 do_board_reset(void)20void do_board_reset(void) 21 { 22 full_reset(); 23 } 24