max80_fw/rv32/shutdown.c

#include "common.h"
#include "io.h"
#include "sdcard.h"
#include "console.h"

/*
 * Do a clean shutdown and reboot
 */
no_return shutdown(unsigned int type)
{
    /* Flush disk cache */
    disk_ioctl(0, CTRL_SYNC, NULL);

    con_puts("Rebooting...\n");
    reset(type);
}