Lines Matching +full:secure +full:- +full:only

1 /* SPDX-License-Identifier: BSD-2-Clause */
3  * Copyright (c) 2016-2021, Linaro Limited
12  * Only the commands handled by the kernel driver are defined here.
14  * RPC communication with tee-supplicant is reversed compared to normal
23  * 1970-01-01 00:00:00 +0000 (UTC).
31  * Wait queue primitive, helper for secure world to implement a wait queue.
33  * If secure world needs to wait for a secure world mutex it issues a sleep
34  * request instead of spinning in secure world. Conversely is a wakeup
35  * request issued when a secure world mutex with a thread waiting thread is
67 /* Memory that can be shared with a non-secure user space application */
69 /* Memory only shared with non-secure kernel */