/* SPDX-License-Identifier: BSD-2-Clause */ | |
/* | |
* Copyright (c) 2016, Linaro Limited | |
* Copyright (c) 2014, STMicroelectronics International N.V. | |
*/ | |
#ifndef SM_PRIVATE_H | |
#define SM_PRIVATE_H | |
/* Returns one of SM_EXIT_TO_* exit monitor in secure or non-secure world */ | |
uint32_t sm_from_nsec(struct sm_ctx *ctx); | |
#endif /*SM_PRIVATE_H*/ | |