blob: c601311801bd2cb499998da35ed425544b1166af [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_spm_hal.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_spm_hal_system_reset();
}
bool tfm_is_one_bit_set(uint32_t n)
{
return ((n && !(n & (n-1))) ? true : false);
}