patrick/zephyr
1
0
Fork 0
Code Issues Pull requests Actions 7 Packages Projects Releases Wiki Activity

drivers: ipm: add system calls

Browse source 
ipm_register_callback() omitted since it registers a callback.

Signed-off-by: Andrew Boie <andrew.p.boie@intel.com>
This commit is contained in:
Andrew Boie 2017-10-25 13:14:49 -07:00 committed by Andrew Boie
parent 66aefcfcf4
commit 2e60b24a80
3 changed files with 45 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
drivers/ipm/Makefile
View file

@ -1,4 +1,4 @@
ccflags-y += -I$(srctree)/drivers
obj-$(CONFIG_IPM_QUARK_SE) += ipm_quark_se.o
obj-$(CONFIG_USERSPACE) += ipm_handlers.o

28
drivers/ipm/ipm_handlers.c Normal file
View file

@ -0,0 +1,28 @@
/*
* Copyright (c) 2017 Intel Corporation
*
* SPDX-License-Identifier: Apache-2.0
*/
#include <syscall_handler.h>
#include <ipm.h>
_SYSCALL_HANDLER(ipm_send, dev, wait, id, data, size)
{
_SYSCALL_OBJ(dev, K_OBJ_DRIVER_IPM);
_SYSCALL_MEMORY_READ(data, size);
return _impl_ipm_send((struct device *)dev, wait, id,
(const void *)data, size);
}
_SYSCALL_HANDLER1_SIMPLE(ipm_max_data_size_get, K_OBJ_DRIVER_IPM,
struct device *);
_SYSCALL_HANDLER1_SIMPLE(ipm_max_id_val_get, K_OBJ_DRIVER_IPM,
struct device *);
_SYSCALL_HANDLER(ipm_set_enabled, dev, enable)
{
_SYSCALL_OBJ(dev, K_OBJ_DRIVER_IPM);
return _impl_ipm_set_enabled((struct device *)dev, enable);
}

20
include/ipm.h
View file

@ -128,7 +128,10 @@ struct ipm_driver_api {
* or the device isn't an outbound IPM channel.
* @retval 0 On success.
*/
static inline int ipm_send(struct device *ipmdev, int wait, u32_t id,
__syscall int ipm_send(struct device *ipmdev, int wait, u32_t id,
const void *data, int size);
static inline int _impl_ipm_send(struct device *ipmdev, int wait, u32_t id,
const void *data, int size)
{
const struct ipm_driver_api *api = ipmdev->driver_api;
@ -162,7 +165,9 @@ static inline void ipm_register_callback(struct device *ipmdev,
*
* @return Maximum possible size of a message in bytes.
*/
static inline int ipm_max_data_size_get(struct device *ipmdev)
__syscall int ipm_max_data_size_get(struct device *ipmdev);
static inline int _impl_ipm_max_data_size_get(struct device *ipmdev)
{
const struct ipm_driver_api *api = ipmdev->driver_api;
@ -180,7 +185,9 @@ static inline int ipm_max_data_size_get(struct device *ipmdev)
*
* @return Maximum possible value of a message ID.
*/
static inline u32_t ipm_max_id_val_get(struct device *ipmdev)
__syscall u32_t ipm_max_id_val_get(struct device *ipmdev);
static inline u32_t _impl_ipm_max_id_val_get(struct device *ipmdev)
{
const struct ipm_driver_api *api = ipmdev->driver_api;
@ -196,7 +203,9 @@ static inline u32_t ipm_max_id_val_get(struct device *ipmdev)
* @retval 0 On success.
* @retval EINVAL If it isn't an inbound channel.
*/
static inline int ipm_set_enabled(struct device *ipmdev, int enable)
__syscall int ipm_set_enabled(struct device *ipmdev, int enable);
static inline int _impl_ipm_set_enabled(struct device *ipmdev, int enable)
{
const struct ipm_driver_api *api = ipmdev->driver_api;
@ -210,4 +219,7 @@ static inline int ipm_set_enabled(struct device *ipmdev, int enable)
/**
* @}
*/
#include <syscalls/ipm.h>
#endif /* __INCipmh */