1 /* 2 * Copyright (c) 2019 Intel Corporation 3 * 4 * SPDX-License-Identifier: Apache-2.0 5 */ 6 7 #include <zephyr/drivers/watchdog.h> 8 #include <zephyr/internal/syscall_handler.h> 9 z_vrfy_wdt_setup(const struct device * dev,uint8_t options)10static inline int z_vrfy_wdt_setup(const struct device *dev, uint8_t options) 11 { 12 K_OOPS(K_SYSCALL_DRIVER_WDT(dev, setup)); 13 return z_impl_wdt_setup(dev, options); 14 } 15 16 #include <zephyr/syscalls/wdt_setup_mrsh.c> 17 z_vrfy_wdt_disable(const struct device * dev)18static inline int z_vrfy_wdt_disable(const struct device *dev) 19 { 20 K_OOPS(K_SYSCALL_DRIVER_WDT(dev, disable)); 21 return z_impl_wdt_disable(dev); 22 } 23 24 #include <zephyr/syscalls/wdt_disable_mrsh.c> 25 z_vrfy_wdt_feed(const struct device * dev,int channel_id)26static inline int z_vrfy_wdt_feed(const struct device *dev, int channel_id) 27 { 28 K_OOPS(K_SYSCALL_DRIVER_WDT(dev, feed)); 29 return z_impl_wdt_feed(dev, channel_id); 30 } 31 32 #include <zephyr/syscalls/wdt_feed_mrsh.c> 33
