11bb92983SJerome Forissier /* SPDX-License-Identifier: BSD-2-Clause */ 2abe38974SJens Wiklander /* 33f4d6849SJens Wiklander * Copyright (c) 2016, Linaro Limited 4abe38974SJens Wiklander * Copyright (c) 2014, STMicroelectronics International N.V. 5abe38974SJens Wiklander */ 6abe38974SJens Wiklander #ifndef SM_PRIVATE_H 7abe38974SJens Wiklander #define SM_PRIVATE_H 8abe38974SJens Wiklander 9*65363c52SEtienne Carriere /* Returns one of SM_EXIT_TO_* exit monitor in secure or non-secure world */ 10*65363c52SEtienne Carriere uint32_t sm_from_nsec(struct sm_ctx *ctx); 11abe38974SJens Wiklander #endif /*SM_PRIVATE_H*/ 12abe38974SJens Wiklander 13