You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
92 lines
2.6 KiB
92 lines
2.6 KiB
/* |
|
* Copyright (c) 2019 Intel Corporation |
|
* |
|
* SPDX-License-Identifier: Apache-2.0 |
|
*/ |
|
|
|
#include <drivers/adc.h> |
|
#include <syscall_handler.h> |
|
#include <kernel.h> |
|
|
|
static inline int z_vrfy_adc_channel_setup(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((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(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((struct device *)dev, &sequence); |
|
} |
|
#include <syscalls/adc_read_mrsh.c> |
|
|
|
#ifdef CONFIG_ADC_ASYNC |
|
static inline int z_vrfy_adc_read_async(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((struct device *)dev, &sequence, |
|
(struct k_poll_signal *)async); |
|
} |
|
#include <syscalls/adc_read_async_mrsh.c> |
|
#endif /* CONFIG_ADC_ASYNC */
|
|
|