blob: 955d8f7f3756e7ad1df104918791affd9cbdad43 [file] [log] [blame]
/*
* Copyright (c) 2019 Intel Corporation
*
* SPDX-License-Identifier: Apache-2.0
*/
#include <drivers/kscan.h>
#include <syscall_handler.h>
static inline int z_vrfy_kscan_config(const struct device *dev,
kscan_callback_t callback_isr)
{
Z_OOPS(Z_SYSCALL_DRIVER_KSCAN(dev, config));
Z_OOPS(Z_SYSCALL_VERIFY_MSG(callback_isr == 0,
"callback cannot be set from user mode"));
return z_impl_kscan_config((const struct device *)dev, callback_isr);
}
#include <syscalls/kscan_config_mrsh.c>
static inline int z_vrfy_kscan_disable_callback(const struct device *dev)
{
Z_OOPS(Z_SYSCALL_DRIVER_KSCAN(dev, disable_callback));
return z_impl_kscan_disable_callback((const struct device *)dev);
}
#include <syscalls/kscan_disable_callback_mrsh.c>
static int z_vrfy_kscan_enable_callback(const struct device *dev)
{
Z_OOPS(Z_SYSCALL_DRIVER_KSCAN(dev, enable_callback));
return z_impl_kscan_enable_callback((const struct device *)dev);
}
#include <syscalls/kscan_enable_callback_mrsh.c>