blob: 76b7df3d0bd705bbfe1d62800bd695126c2cf130 [file] [log] [blame]
/*
* Copyright (c) 2017 Intel Corporation
*
* SPDX-License-Identifier: Apache-2.0
*/
#include <zephyr/drivers/entropy.h>
#include <zephyr/internal/syscall_handler.h>
static inline int z_vrfy_entropy_get_entropy(const struct device *dev,
uint8_t *buffer,
uint16_t len)
{
K_OOPS(K_SYSCALL_DRIVER_ENTROPY(dev, get_entropy));
K_OOPS(K_SYSCALL_MEMORY_WRITE(buffer, len));
return z_impl_entropy_get_entropy((const struct device *)dev,
(uint8_t *)buffer,
len);
}
#include <syscalls/entropy_get_entropy_mrsh.c>