Lines Matching refs:device
87 typedef void (*wdt_callback_t)(const struct device *dev, int channel_id);
115 typedef int (*wdt_api_setup)(const struct device *dev, uint8_t options);
121 typedef int (*wdt_api_disable)(const struct device *dev);
127 typedef int (*wdt_api_install_timeout)(const struct device *dev,
134 typedef int (*wdt_api_feed)(const struct device *dev, int channel_id);
162 __syscall int wdt_setup(const struct device *dev, uint8_t options);
164 static inline int z_impl_wdt_setup(const struct device *dev, uint8_t options) in z_impl_wdt_setup()
186 __syscall int wdt_disable(const struct device *dev);
188 static inline int z_impl_wdt_disable(const struct device *dev) in z_impl_wdt_disable()
218 static inline int wdt_install_timeout(const struct device *dev, in wdt_install_timeout()
240 __syscall int wdt_feed(const struct device *dev, int channel_id);
242 static inline int z_impl_wdt_feed(const struct device *dev, int channel_id) in z_impl_wdt_feed()