Lines Matching refs:passed

40   passed in have been validated if it was invoked from user mode.
43   and does validation of all the arguments passed in.
66 * Array arguments must be passed in as pointers, not arrays. For example,
201 passed as arguments to system call, are C casted to ``uintptr_t`` which matches
204 64-bit parameters are split into lower and higher part and passed as two consecutive
217 passed via registers is limited to six for all architectures.
218 Additional arguments will need to be passed in an array in the source memory
262 passed in.  This includes:
265   ensure that the semaphore object passed in is a valid semaphore and that
268 * Any memory buffers passed in from user mode. Checks must be made that the
371 Parameters passed to system calls by reference require special handling,
380 user threads will never have access to. The implementation functions get passed
406 Here we have allocated ``local_out_param`` on the stack, passed its address to
408 in the memory passed in by the caller.
621   when bad parameters are passed in as they do not propagate errors.