include/kernel/thread.h

70  * initialize the number of threads to @thread_count if configured with
84  * set the number of supported cores to @core_count if configured with
182  * This functions enters user mode with the argument described above,
203  * This function is closely coupled with thread_enter_user_mode() since it
258  * Allocates data for payload buffers shared with a non-secure user space
259  * application. Ensure consistency with the enumeration
269  * Free physical memory previously allocated with thread_rpc_alloc_payload()
276  * Allocate data for payload buffers shared with the non-secure kernel.
277  * Ensure consistency with the enumeration THREAD_SHM_TYPE_KERNEL_PRIVATE.
286  * Free physical memory previously allocated with
350  * Allocate data for payload buffers shared with both user space applications
351  * and the non-secure kernel. Ensure consistency with the enumeration
361  * Free physical memory previously allocated with
388  * with each other a unique ID per user is used.