| /* |
| * Copyright (c) 2017 Intel Corporation |
| * |
| * SPDX-License-Identifier: Apache-2.0 |
| */ |
| |
| #include <sensor.h> |
| #include <syscall_handler.h> |
| |
| u32_t _handler_sensor_attr_set(u32_t dev, u32_t chan, u32_t attr, |
| u32_t val, u32_t arg5, u32_t arg6, void *ssf) |
| { |
| _SYSCALL_ARG4; |
| |
| _SYSCALL_IS_OBJ(dev, K_OBJ_DRIVER_SENSOR, 0, ssf); |
| _SYSCALL_MEMORY(val, sizeof(struct sensor_value), 0, ssf); |
| return _impl_sensor_attr_set((struct device *)dev, chan, attr, |
| (const struct sensor_value *)val); |
| } |
| |
| u32_t _handler_sensor_sample_fetch(u32_t dev, u32_t arg2, u32_t arg3, |
| u32_t arg4, u32_t arg5, u32_t arg6, |
| void *ssf) |
| { |
| _SYSCALL_ARG1; |
| |
| _SYSCALL_IS_OBJ(dev, K_OBJ_DRIVER_SENSOR, 0, ssf); |
| return _impl_sensor_sample_fetch((struct device *)dev); |
| } |
| |
| |
| u32_t _handler_sensor_sample_fetch_chan(u32_t dev, u32_t type, u32_t arg3, |
| u32_t arg4, u32_t arg5, u32_t arg6, |
| void *ssf) |
| { |
| _SYSCALL_ARG2; |
| |
| _SYSCALL_IS_OBJ(dev, K_OBJ_DRIVER_SENSOR, 0, ssf); |
| return _impl_sensor_sample_fetch_chan((struct device *)dev, type); |
| } |
| |
| u32_t _handler_sensor_channel_get(u32_t dev, u32_t chan, u32_t val, |
| u32_t arg4, u32_t arg5, u32_t arg6, |
| void *ssf) |
| { |
| _SYSCALL_ARG3; |
| |
| _SYSCALL_IS_OBJ(dev, K_OBJ_DRIVER_SENSOR, 0, ssf); |
| _SYSCALL_MEMORY(val, sizeof(struct sensor_value), 1, ssf); |
| return _impl_sensor_channel_get((struct device *)dev, chan, |
| (struct sensor_value *)val); |
| } |
| |