reset.c

Go to the documentation of this file.

/* SPDX-License-Identifier: GPL-2.0-only */
 
#include <arch/cache.h>
#include <cf9_reset.h>
#include <console/console.h>
#include <halt.h>
#include <reset.h>
 
#include "reset.h"
 
void global_reset(void)
{
        printk(BIOS_INFO, "%s() called!\n", __func__);
        cf9_reset_prepare();
        dcache_clean_all();
        do_global_reset();
        halt();
}
 
void do_board_reset(void)
{
        full_reset();
}