blob: 2aab6d9dd4a6ec40a82ebef758d19f07f7c02784 [file] [log] [blame]
/*
* Copyright (c) 2018-2020, Arm Limited. All rights reserved.
*
* SPDX-License-Identifier: BSD-3-Clause
*
*/
#include <inttypes.h>
#include "utilities.h"
#include "tfm_hal_platform.h"
void tfm_core_panic(void)
{
/*
* FixMe: In the first stage, the SPM will restart the entire system when a
* programmer error is detected in either the SPE or NSPE.
* In the next stage, the specified error codes are also sent to any NSPE
* management firmware. The NSPE management firmware can then decide to pass
* those error codes back to the calling task or to use its own
* functionality for terminating an execution context.
*/
tfm_hal_system_reset();
}
bool tfm_is_one_bit_set(uint32_t n)
{
return ((n && !(n & (n-1))) ? true : false);
}