mbed-os5 only for TYBLE16

Dependents:   TYBLE16_simple_data_logger TYBLE16_MP3_Air

Committer:
kenjiArai
Date:
Tue Dec 31 06:02:27 2019 +0000
Revision:
1:9db0e321a9f4
Parent:
0:5b88d5760320
updated based on mbed-os5.15.0

Who changed what in which revision?

UserRevisionLine numberNew contents of line
kenjiArai 0:5b88d5760320 1 /*
kenjiArai 0:5b88d5760320 2 * Copyright (c) 2018-2019, Arm Limited. All rights reserved.
kenjiArai 0:5b88d5760320 3 *
kenjiArai 0:5b88d5760320 4 * SPDX-License-Identifier: BSD-3-Clause
kenjiArai 0:5b88d5760320 5 *
kenjiArai 0:5b88d5760320 6 */
kenjiArai 0:5b88d5760320 7
kenjiArai 0:5b88d5760320 8 #ifndef __TFM_NSPM_H__
kenjiArai 0:5b88d5760320 9 #define __TFM_NSPM_H__
kenjiArai 0:5b88d5760320 10
kenjiArai 0:5b88d5760320 11 #include <stdint.h>
kenjiArai 0:5b88d5760320 12
kenjiArai 0:5b88d5760320 13 /**
kenjiArai 0:5b88d5760320 14 * \brief initialise the NS context database
kenjiArai 0:5b88d5760320 15 */
kenjiArai 0:5b88d5760320 16 void tfm_nspm_configure_clients(void);
kenjiArai 0:5b88d5760320 17
kenjiArai 0:5b88d5760320 18 /**
kenjiArai 0:5b88d5760320 19 * \brief Get the client ID of the current NS client
kenjiArai 0:5b88d5760320 20 *
kenjiArai 0:5b88d5760320 21 * \return The client id of the current NS client. 0 (invalid client id) is
kenjiArai 0:5b88d5760320 22 * returned in case of error.
kenjiArai 0:5b88d5760320 23 */
kenjiArai 0:5b88d5760320 24 int32_t tfm_nspm_get_current_client_id(void);
kenjiArai 0:5b88d5760320 25
kenjiArai 0:5b88d5760320 26 #ifdef TFM_PSA_API
kenjiArai 0:5b88d5760320 27 /**
kenjiArai 0:5b88d5760320 28 * \brief NSPM thread main entry function
kenjiArai 0:5b88d5760320 29 *
kenjiArai 0:5b88d5760320 30 * \return PSA_SUCCESS indicates failed.
kenjiArai 0:5b88d5760320 31 *
kenjiArai 0:5b88d5760320 32 * Note: This function should not return back.
kenjiArai 0:5b88d5760320 33 */
kenjiArai 0:5b88d5760320 34 psa_status_t tfm_nspm_thread_entry(void);
kenjiArai 0:5b88d5760320 35 #endif
kenjiArai 0:5b88d5760320 36
kenjiArai 0:5b88d5760320 37 #endif /* __TFM_NSPM_H__ */