Searched refs:kernel (Results 1 – 6 of 6) sorted by relevance
19 and saved with the corresponding NS task when the RTOS kernel (the kernel)76 NSCE APIs are typically called by the kernel and must be called from the170 - In the kernel initialization stage, it calls `tfm_nsce_init()` with173 failed. The kernel could use different group assignment sets according to the176 - The kernel calls `tfm_nsce_acquire_ctx()` when creating a new task. This180 - When the kernel schedules in a task with a valid `token` associated,182 task. The NSID is specified by the kernel through the `nsid` parameter.183 The mapping between NSID and task is managed by the kernel.193 - When the task is terminated, destroyed or crashed, the kernel should call224 above for the implementation. The timing of calling NSCE APIs in the kernel is[all …]
5 migrating a generic OS kernel running on Armv7-M to the Armv8-M architecture.
10 `Linux coding style <https://www.kernel.org/doc/html/v4.10/process/coding-style.html>`__
125 | RTX kernel initialization
116 `Kconfig language <https://www.kernel.org/doc/html/latest/kbuild/kconfig-language.html#kconfig-lang…
98 uint32_t kernel; ///< Kernel version (major.minor.rev: mmnnnrrrr dec). member
