410 #define K_SYSCALL_MEMORY_SIZE_CHECK(ptr, size) \  argument
411 	(((uintptr_t)(ptr) + (size)) >= (uintptr_t)(ptr))
431 #define K_SYSCALL_MEMORY(ptr, size, write) \  argument
432 	K_SYSCALL_VERIFY_MSG(K_SYSCALL_MEMORY_SIZE_CHECK(ptr, size) \
433 			     && !Z_DETECT_POINTER_OVERFLOW(ptr, size) \
434 			     && (arch_buffer_validate((void *)(ptr), (size), (write)) \
437 			     (void *)(ptr), (size_t)(size), \
455 #define K_SYSCALL_MEMORY_READ(ptr, size) \  argument
456 	K_SYSCALL_MEMORY(ptr, size, 0)
474 #define K_SYSCALL_MEMORY_WRITE(ptr, size) \  argument
475 	K_SYSCALL_MEMORY(ptr, size, 1)
477 #define K_SYSCALL_MEMORY_ARRAY(ptr, nmemb, size, write) \  argument
485 			K_SYSCALL_MEMORY(ptr, product, write); \
502 #define K_SYSCALL_MEMORY_ARRAY_READ(ptr, nmemb, size) \  argument
503 	K_SYSCALL_MEMORY_ARRAY(ptr, nmemb, size, 0)
519 #define K_SYSCALL_MEMORY_ARRAY_WRITE(ptr, nmemb, size) \  argument
520 	K_SYSCALL_MEMORY_ARRAY(ptr, nmemb, size, 1)
542 #define K_SYSCALL_IS_OBJ(ptr, type, init) \  argument
544 				     k_object_find((const void *)(ptr)),	\
545 				     (const void *)(ptr),		\
562 #define K_SYSCALL_DRIVER_OP(ptr, api_name, op) \  argument
565 			((const struct device *)(ptr))->api; \
613 #define K_SYSCALL_OBJ(ptr, type) \  argument
614 	K_SYSCALL_IS_OBJ(ptr, type, _OBJ_INIT_TRUE)
629 #define K_SYSCALL_OBJ_INIT(ptr, type) \  argument
630 	K_SYSCALL_IS_OBJ(ptr, type, _OBJ_INIT_ANY)
647 #define K_SYSCALL_OBJ_NEVER_INIT(ptr, type) \  argument
648 	K_SYSCALL_IS_OBJ(ptr, type, _OBJ_INIT_FALSE)