/* | |
* 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 |