Kenji Arai / mbed-os_TYBLE16

mbed-os5 only for TYBLE16

Dependents:   TYBLE16_simple_data_logger TYBLE16_MP3_Air

components/TARGET_PSA/TARGET_TFM/COMPONENT_SPE/secure_fw/core/ipc/tfm_wait.c@1:9db0e321a9f4, 2019-12-31 (annotated)

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 #include <stdio.h>
kenjiArai 0:5b88d5760320 8 #include "tfm_thread.h"
kenjiArai 0:5b88d5760320 9 #include "tfm_utils.h"
kenjiArai 0:5b88d5760320 10 #include "tfm_wait.h"
kenjiArai 0:5b88d5760320 11
kenjiArai 0:5b88d5760320 12 void tfm_event_wait(struct tfm_event_t *pevnt)
kenjiArai 0:5b88d5760320 13 {
kenjiArai 0:5b88d5760320 14 TFM_ASSERT(pevnt && pevnt->magic == TFM_EVENT_MAGIC);
kenjiArai 0:5b88d5760320 15
kenjiArai 0:5b88d5760320 16 pevnt->owner = tfm_thrd_curr_thread();
kenjiArai 0:5b88d5760320 17 tfm_thrd_set_status(pevnt->owner, THRD_STAT_BLOCK);
kenjiArai 0:5b88d5760320 18 tfm_thrd_activate_schedule();
kenjiArai 0:5b88d5760320 19 }
kenjiArai 0:5b88d5760320 20
kenjiArai 0:5b88d5760320 21 void tfm_event_wake(struct tfm_event_t *pevnt, uint32_t retval)
kenjiArai 0:5b88d5760320 22 {
kenjiArai 0:5b88d5760320 23 TFM_ASSERT(pevnt && pevnt->magic == TFM_EVENT_MAGIC);
kenjiArai 0:5b88d5760320 24
kenjiArai 0:5b88d5760320 25 if (pevnt->owner && pevnt->owner->status == THRD_STAT_BLOCK) {
kenjiArai 0:5b88d5760320 26 tfm_thrd_set_status(pevnt->owner, THRD_STAT_RUNNING);
kenjiArai 0:5b88d5760320 27 tfm_thrd_set_retval(pevnt->owner, retval);
kenjiArai 0:5b88d5760320 28 tfm_thrd_activate_schedule();
kenjiArai 0:5b88d5760320 29 }
kenjiArai 0:5b88d5760320 30 }