/*
 * Copyright (c) 2020 The Fuchsia Authors
 */
#include <common.h>
#include <asm/arch/reboot.h>
#include <asm/arch/bl31_apis.h>

void reboot_normal(void)
{
        aml_reboot(PSCI_SYS_REBOOT, AMLOGIC_NORMAL_BOOT, 0, 0);
}

void reboot_bootloader(void)
{
        aml_reboot(PSCI_SYS_REBOOT, AMLOGIC_FASTBOOT_REBOOT, 0, 0);
}

void reboot_recovery(void)
{
        /* AMLOGIC_FACTORY_RESET_REBOOT triggers `run recovery_from_flash` */
        aml_reboot(PSCI_SYS_REBOOT, AMLOGIC_FACTORY_RESET_REBOOT, 0, 0);
}