Lines Matching +full:mixed +full:- +full:mode

4  * SPDX-License-Identifier: Apache-2.0
30  * - Kernel-only code, or CONFIG_USERSPACE disabled, these inlines will
32  * - User-only code, these inlines will marshal parameters and elevate
34  * - Mixed or indeterminate code, these inlines will do a runtime check
41  * - The handler function will be named z_vrfy_k_foo(). Handler
45  *   more information.  - The implementation function will be named
54  * These are kernel-side skeleton functions for system calls. They are
57  * - Any kernel object or device pointers are validated with _SYSCALL_IS_OBJ()
58  * - Any memory buffers passed in are checked to ensure that the calling thread
60  * - Many kernel calls do no sanity checking of parameters other than
63  * - If the system call has more than 6 arguments, then arg6 will be a pointer
81  *            via _arch_syscall_oops_at(). Contents are arch-specific.
92  * compile-time decision.
110  * Indicate whether the CPU is currently in user mode