| /* SPDX-License-Identifier: GPL-2.0-only */ |
| |
| #ifndef AMD_BLOCK_RESET_H |
| #define AMD_BLOCK_RESET_H |
| |
| #include <console/console.h> |
| #include <arch/cache.h> |
| #include <halt.h> |
| |
| void do_warm_reset(void); |
| void do_cold_reset(void); |
| void set_warm_reset_flag(void); |
| int is_warm_reset(void); |
| |
| static inline __noreturn void warm_reset(void) |
| { |
| printk(BIOS_INFO, "%s() called!\n", __func__); |
| dcache_clean_all(); |
| do_warm_reset(); |
| halt(); |
| } |
| |
| static inline __noreturn void cold_reset(void) |
| { |
| printk(BIOS_INFO, "%s() called!\n", __func__); |
| dcache_clean_all(); |
| do_cold_reset(); |
| halt(); |
| } |
| |
| #endif /* AMD_BLOCK_RESET_H */ |