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