1 /* SPDX-License-Identifier: BSD-2-Clause */ 2 /* 3 * Copyright (c) 2021, Linaro Limited 4 */ 5 6 #ifndef __KERNEL_NOTIF_H 7 #define __KERNEL_NOTIF_H 8 9 #include <compiler.h> 10 #include <sys/queue.h> 11 #include <tee_api_types.h> 12 #include <types_ext.h> 13 14 #define NOTIF_SYNC_VALUE_BASE 0 15 16 #define NOTIF_VALUE_MAX (NOTIF_SYNC_VALUE_BASE + \ 17 CFG_NUM_THREADS) 18 19 /* 20 * Wait in normal world for a value to be sent by notif_send_sync() 21 */ 22 TEE_Result notif_wait(uint32_t value); 23 24 /* 25 * Send a value 26 */ 27 TEE_Result notif_send_sync(uint32_t value); 28 29 #endif /*__KERNEL_NOTIF_H*/ 30