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