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>
32 lines
785 B
C
32 lines
785 B
C
/*
|
|
* Copyright (c) 2019 Intel Corporation
|
|
*
|
|
* SPDX-License-Identifier: Apache-2.0
|
|
*/
|
|
|
|
#include <zephyr/drivers/watchdog.h>
|
|
#include <zephyr/internal/syscall_handler.h>
|
|
|
|
static inline int z_vrfy_wdt_setup(const struct device *dev, uint8_t options)
|
|
{
|
|
K_OOPS(K_SYSCALL_DRIVER_WDT(dev, setup));
|
|
return z_impl_wdt_setup(dev, options);
|
|
}
|
|
|
|
#include <zephyr/syscalls/wdt_setup_mrsh.c>
|
|
|
|
static inline int z_vrfy_wdt_disable(const struct device *dev)
|
|
{
|
|
K_OOPS(K_SYSCALL_DRIVER_WDT(dev, disable));
|
|
return z_impl_wdt_disable(dev);
|
|
}
|
|
|
|
#include <zephyr/syscalls/wdt_disable_mrsh.c>
|
|
|
|
static inline int z_vrfy_wdt_feed(const struct device *dev, int channel_id)
|
|
{
|
|
K_OOPS(K_SYSCALL_DRIVER_WDT(dev, feed));
|
|
return z_impl_wdt_feed(dev, channel_id);
|
|
}
|
|
|
|
#include <zephyr/syscalls/wdt_feed_mrsh.c>
|