|  | /* | 
|  | * Copyright (c) 2023, Nordic Semiconductor ASA | 
|  | * | 
|  | * SPDX-License-Identifier: Apache-2.0 | 
|  | */ | 
|  |  | 
|  | #include <zephyr/drivers/retained_mem.h> | 
|  | #include <zephyr/syscall_handler.h> | 
|  |  | 
|  | static inline ssize_t z_vrfy_retained_mem_size(const struct device *dev) | 
|  | { | 
|  | Z_OOPS(Z_SYSCALL_OBJ(dev, K_OBJ_DRIVER_RETAINED_MEM)); | 
|  | return z_impl_retained_mem_size(dev); | 
|  | } | 
|  | #include <syscalls/retained_mem_size_mrsh.c> | 
|  |  | 
|  | static inline int z_vrfy_retained_mem_read(const struct device *dev, off_t offset, | 
|  | uint8_t *buffer, size_t size) | 
|  | { | 
|  | Z_OOPS(Z_SYSCALL_OBJ(dev, K_OBJ_DRIVER_RETAINED_MEM)); | 
|  | Z_OOPS(Z_SYSCALL_MEMORY_WRITE(buffer, size)); | 
|  | return z_impl_retained_mem_read(dev, offset, buffer, size); | 
|  | } | 
|  | #include <syscalls/retained_mem_read_mrsh.c> | 
|  |  | 
|  | static inline int z_vrfy_retained_mem_write(const struct device *dev, off_t offset, | 
|  | const uint8_t *buffer, size_t size) | 
|  | { | 
|  | Z_OOPS(Z_SYSCALL_OBJ(dev, K_OBJ_DRIVER_RETAINED_MEM)); | 
|  | Z_OOPS(Z_SYSCALL_MEMORY_READ(buffer, size)); | 
|  | return z_impl_retained_mem_write(dev, offset, buffer, size); | 
|  | } | 
|  | #include <syscalls/retained_mem_write_mrsh.c> | 
|  |  | 
|  | static inline int z_vrfy_retained_mem_clear(const struct device *dev) | 
|  | { | 
|  | Z_OOPS(Z_SYSCALL_OBJ(dev, K_OBJ_DRIVER_RETAINED_MEM)); | 
|  | return z_impl_retained_mem_clear(dev); | 
|  | } | 
|  | #include <syscalls/retained_mem_clear_mrsh.c> |