/*
 * Copyright (c) 2022 The Fuchsia Authors
 *
 * SPDX-License-Identifier:	BSD-3-Clause
 */

#ifndef _OVERRIDE_REBOOT_MODE_H_
#define _OVERRIDE_REBOOT_MODE_H_

#include <common.h>

// Override the rebootmode value from register AO_SEC_SD_CFG15
void set_override_rebootmode_val(uint8_t val);

// Get the reboot mode value, factoring in override.
uint32_t get_rebootmode_value(void);

#endif