blob: f2299705a269bab91151d6d31b2f11e7f44f1428 [file] [log] [blame]
/*
* Copyright (c) 2022 Thomas Stranger
*
* SPDX-License-Identifier: Apache-2.0
*/
#include <zephyr/internal/syscall_handler.h>
#include <zephyr/drivers/w1.h>
static inline int z_vrfy_w1_reset_bus(const struct device *dev)
{
K_OOPS(K_SYSCALL_DRIVER_W1(dev, reset_bus));
return z_impl_w1_reset_bus((const struct device *)dev);
}
#include <syscalls/w1_reset_bus_mrsh.c>
static inline int z_vrfy_w1_read_bit(const struct device *dev)
{
K_OOPS(K_SYSCALL_DRIVER_W1(dev, read_bit));
return z_impl_w1_read_bit((const struct device *)dev);
}
#include <syscalls/w1_read_bit_mrsh.c>
static inline int z_vrfy_w1_write_bit(const struct device *dev, bool bit)
{
K_OOPS(K_SYSCALL_DRIVER_W1(dev, write_bit));
return z_impl_w1_write_bit((const struct device *)dev, bit);
}
#include <syscalls/w1_write_bit_mrsh.c>
static inline int z_vrfy_w1_read_byte(const struct device *dev)
{
K_OOPS(K_SYSCALL_DRIVER_W1(dev, read_byte));
return z_impl_w1_read_byte((const struct device *)dev);
}
#include <syscalls/w1_read_byte_mrsh.c>
static inline int z_vrfy_w1_write_byte(const struct device *dev, uint8_t byte)
{
K_OOPS(K_SYSCALL_DRIVER_W1(dev, write_byte));
return z_impl_w1_write_byte((const struct device *)dev, (uint8_t)byte);
}
#include <syscalls/w1_write_byte_mrsh.c>
static inline int z_vrfy_w1_read_block(const struct device *dev,
uint8_t *buffer, size_t len)
{
K_OOPS(K_SYSCALL_OBJ(dev, K_OBJ_DRIVER_W1));
K_OOPS(K_SYSCALL_MEMORY_WRITE(buffer, len));
return z_impl_w1_read_block((const struct device *)dev,
(uint8_t *)buffer, (size_t)len);
}
#include <syscalls/w1_read_block_mrsh.c>
static inline int z_vrfy_w1_write_block(const struct device *dev,
const uint8_t *buffer, size_t len)
{
K_OOPS(K_SYSCALL_OBJ(dev, K_OBJ_DRIVER_W1));
K_OOPS(K_SYSCALL_MEMORY_READ(buffer, len));
return z_impl_w1_write_block((const struct device *)dev,
(const uint8_t *)buffer, (size_t)len);
}
#include <syscalls/w1_write_block_mrsh.c>
static inline int z_vrfy_w1_change_bus_lock(const struct device *dev, bool lock)
{
K_OOPS(K_SYSCALL_OBJ(dev, K_OBJ_DRIVER_W1));
return z_impl_w1_change_bus_lock((const struct device *)dev, lock);
}
#include <syscalls/w1_change_bus_lock_mrsh.c>
static inline int z_vrfy_w1_configure(const struct device *dev,
enum w1_settings_type type, uint32_t value)
{
K_OOPS(K_SYSCALL_DRIVER_W1(dev, configure));
return z_impl_w1_configure(dev, type, value);
}
#include <syscalls/w1_configure_mrsh.c>
static inline size_t z_vrfy_w1_get_slave_count(const struct device *dev)
{
K_OOPS(K_SYSCALL_OBJ(dev, K_OBJ_DRIVER_W1));
return z_impl_w1_get_slave_count((const struct device *)dev);
}
#include <syscalls/w1_get_slave_count_mrsh.c>
#if CONFIG_W1_NET
static inline int z_vrfy_w1_search_bus(const struct device *dev,
uint8_t command, uint8_t family,
w1_search_callback_t callback,
void *user_data)
{
K_OOPS(K_SYSCALL_OBJ(dev, K_OBJ_DRIVER_W1));
K_OOPS(K_SYSCALL_VERIFY_MSG(callback == 0,
"callbacks may not be set from user mode"));
/* user_data is not dereferenced, no need to check parameter */
return z_impl_w1_search_bus((const struct device *)dev,
(uint8_t)command, (uint8_t)family,
(w1_search_callback_t)callback,
(void *)user_data);
}
#include <syscalls/w1_search_bus_mrsh.c>
#endif /* CONFIG_W1_NET */