bbe5e1e6eb
Namespaced the generated headers with `zephyr` to prevent potential conflict with other headers. Introduce a temporary Kconfig `LEGACY_GENERATED_INCLUDE_PATH` that is enabled by default. This allows the developers to continue the use of the old include paths for the time being until it is deprecated and eventually removed. The Kconfig will generate a build-time warning message, similar to the `CONFIG_TIMER_RANDOM_GENERATOR`. Updated the includes path of in-tree sources accordingly. Most of the changes here are scripted, check the PR for more info. Signed-off-by: Yong Cong Sin <ycsin@meta.com>
40 lines
1.2 KiB
C
40 lines
1.2 KiB
C
/*
|
|
* Copyright (c) 2017 Intel Corporation
|
|
*
|
|
* SPDX-License-Identifier: Apache-2.0
|
|
*/
|
|
|
|
#include <zephyr/internal/syscall_handler.h>
|
|
#include <zephyr/drivers/ipm.h>
|
|
|
|
static inline int z_vrfy_ipm_send(const struct device *dev, int wait,
|
|
uint32_t id,
|
|
const void *data, int size)
|
|
{
|
|
K_OOPS(K_SYSCALL_DRIVER_IPM(dev, send));
|
|
K_OOPS(K_SYSCALL_MEMORY_READ(data, size));
|
|
return z_impl_ipm_send((const struct device *)dev, wait, id,
|
|
(const void *)data, size);
|
|
}
|
|
#include <zephyr/syscalls/ipm_send_mrsh.c>
|
|
|
|
static inline int z_vrfy_ipm_max_data_size_get(const struct device *dev)
|
|
{
|
|
K_OOPS(K_SYSCALL_DRIVER_IPM(dev, max_data_size_get));
|
|
return z_impl_ipm_max_data_size_get((const struct device *)dev);
|
|
}
|
|
#include <zephyr/syscalls/ipm_max_data_size_get_mrsh.c>
|
|
|
|
static inline uint32_t z_vrfy_ipm_max_id_val_get(const struct device *dev)
|
|
{
|
|
K_OOPS(K_SYSCALL_DRIVER_IPM(dev, max_id_val_get));
|
|
return z_impl_ipm_max_id_val_get((const struct device *)dev);
|
|
}
|
|
#include <zephyr/syscalls/ipm_max_id_val_get_mrsh.c>
|
|
|
|
static inline int z_vrfy_ipm_set_enabled(const struct device *dev, int enable)
|
|
{
|
|
K_OOPS(K_SYSCALL_DRIVER_IPM(dev, set_enabled));
|
|
return z_impl_ipm_set_enabled((const struct device *)dev, enable);
|
|
}
|
|
#include <zephyr/syscalls/ipm_set_enabled_mrsh.c>
|