| /* | |
| * Copyright (c) 2017 Intel Corporation | |
| * | |
| * SPDX-License-Identifier: Apache-2.0 | |
| */ | |
| #include <drivers/entropy.h> | |
| #include <syscall_handler.h> | |
| static inline int z_vrfy_entropy_get_entropy(struct device *dev, | |
| u8_t *buffer, | |
| u16_t len) | |
| { | |
| Z_OOPS(Z_SYSCALL_DRIVER_ENTROPY(dev, get_entropy)); | |
| Z_OOPS(Z_SYSCALL_MEMORY_WRITE(buffer, len)); | |
| return z_impl_entropy_get_entropy((struct device *)dev, (u8_t *)buffer, | |
| len); | |
| } | |
| #include <syscalls/entropy_get_entropy_mrsh.c> |