94 lines
2.7 KiB
C
94 lines
2.7 KiB
C
/*
|
|
* Copyright (c) 2019 Intel Corporation
|
|
*
|
|
* SPDX-License-Identifier: Apache-2.0
|
|
*/
|
|
|
|
#include <zephyr/drivers/adc.h>
|
|
#include <zephyr/syscall_handler.h>
|
|
#include <zephyr/kernel.h>
|
|
|
|
static inline int z_vrfy_adc_channel_setup(const struct device *dev,
|
|
const struct adc_channel_cfg *user_channel_cfg)
|
|
{
|
|
struct adc_channel_cfg channel_cfg;
|
|
|
|
Z_OOPS(Z_SYSCALL_DRIVER_ADC(dev, channel_setup));
|
|
Z_OOPS(z_user_from_copy(&channel_cfg,
|
|
(struct adc_channel_cfg *)user_channel_cfg,
|
|
sizeof(struct adc_channel_cfg)));
|
|
|
|
return z_impl_adc_channel_setup((const struct device *)dev,
|
|
&channel_cfg);
|
|
}
|
|
#include <syscalls/adc_channel_setup_mrsh.c>
|
|
|
|
static bool copy_sequence(struct adc_sequence *dst,
|
|
struct adc_sequence_options *options,
|
|
struct adc_sequence *src)
|
|
{
|
|
if (z_user_from_copy(dst, src, sizeof(struct adc_sequence)) != 0) {
|
|
printk("couldn't copy adc_sequence struct\n");
|
|
return false;
|
|
}
|
|
|
|
if (dst->options) {
|
|
if (z_user_from_copy(options, dst->options,
|
|
sizeof(struct adc_sequence_options)) != 0) {
|
|
printk("couldn't copy adc_options struct\n");
|
|
return false;
|
|
}
|
|
dst->options = options;
|
|
}
|
|
|
|
if (Z_SYSCALL_MEMORY_WRITE(dst->buffer, dst->buffer_size) != 0) {
|
|
printk("no access to buffer memory\n");
|
|
return false;
|
|
}
|
|
return true;
|
|
}
|
|
|
|
static inline int z_vrfy_adc_read(const struct device *dev,
|
|
const struct adc_sequence *user_sequence)
|
|
|
|
{
|
|
struct adc_sequence sequence;
|
|
struct adc_sequence_options options;
|
|
|
|
Z_OOPS(Z_SYSCALL_DRIVER_ADC(dev, read));
|
|
Z_OOPS(Z_SYSCALL_VERIFY_MSG(copy_sequence(&sequence, &options,
|
|
(struct adc_sequence *)user_sequence),
|
|
"invalid ADC sequence"));
|
|
if (sequence.options != NULL) {
|
|
Z_OOPS(Z_SYSCALL_VERIFY_MSG(sequence.options->callback == NULL,
|
|
"ADC sequence callbacks forbidden from user mode"));
|
|
}
|
|
|
|
return z_impl_adc_read((const struct device *)dev, &sequence);
|
|
}
|
|
#include <syscalls/adc_read_mrsh.c>
|
|
|
|
#ifdef CONFIG_ADC_ASYNC
|
|
static inline int z_vrfy_adc_read_async(const struct device *dev,
|
|
const struct adc_sequence *user_sequence,
|
|
struct k_poll_signal *async)
|
|
{
|
|
struct adc_sequence sequence;
|
|
struct adc_sequence_options options;
|
|
|
|
Z_OOPS(Z_SYSCALL_DRIVER_ADC(dev, read_async));
|
|
Z_OOPS(Z_SYSCALL_VERIFY_MSG(copy_sequence(&sequence, &options,
|
|
(struct adc_sequence *)user_sequence),
|
|
"invalid ADC sequence"));
|
|
if (sequence.options != NULL) {
|
|
Z_OOPS(Z_SYSCALL_VERIFY_MSG(sequence.options->callback == NULL,
|
|
"ADC sequence callbacks forbidden from user mode"));
|
|
}
|
|
Z_OOPS(Z_SYSCALL_OBJ(async, K_OBJ_POLL_SIGNAL));
|
|
|
|
return z_impl_adc_read_async((const struct device *)dev, &sequence,
|
|
(struct k_poll_signal *)async);
|
|
}
|
|
#include <syscalls/adc_read_async_mrsh.c>
|
|
#endif /* CONFIG_ADC_ASYNC */
|