diff --git a/drivers/watchdog/CMakeLists.txt b/drivers/watchdog/CMakeLists.txt index 3fb23ac3911..dd1b3058b13 100644 --- a/drivers/watchdog/CMakeLists.txt +++ b/drivers/watchdog/CMakeLists.txt @@ -10,3 +10,5 @@ zephyr_sources_ifdef(CONFIG_WDT_NRFX wdt_nrfx.c) zephyr_sources_ifdef(CONFIG_WDT_MCUX_WDOG wdt_mcux_wdog.c) zephyr_sources_ifdef(CONFIG_WDT_MCUX_WDOG32 wdt_mcux_wdog32.c) zephyr_sources_ifdef(CONFIG_WDT_XEC wdt_mchp_xec.c) + +zephyr_sources_ifdef(CONFIG_USERSPACE wdt_handlers.c) diff --git a/drivers/watchdog/wdt_handlers.c b/drivers/watchdog/wdt_handlers.c index bbf0bdb5134..d6a9a78e16a 100644 --- a/drivers/watchdog/wdt_handlers.c +++ b/drivers/watchdog/wdt_handlers.c @@ -9,24 +9,24 @@ static inline int z_vrfy_wdt_setup(struct device *dev, u8_t options) { - Z_OOPS(Z_SYSCALL_DRIVER_WDT(dev, wdt_setup)); + Z_OOPS(Z_SYSCALL_DRIVER_WDT(dev, setup)); return z_impl_wdt_setup(dev, options); } -#include +#include static inline int z_vrfy_wdt_disable(struct device *dev) { - Z_OOPS(Z_SYSCALL_DRIVER_WDT(dev, wdt_disable)); + Z_OOPS(Z_SYSCALL_DRIVER_WDT(dev, disable)); return z_impl_wdt_disable(dev); } -#include +#include -static inline int z_vrfy_wdt_feed(struct device *dev) +static inline int z_vrfy_wdt_feed(struct device *dev, int channel_id) { - Z_OOPS(Z_SYSCALL_DRIVER_WDT(dev, wdt_feed)); - return z_impl_wdt_feed(dev); + Z_OOPS(Z_SYSCALL_DRIVER_WDT(dev, feed)); + return z_impl_wdt_feed(dev, channel_id); } -#include +#include