25 #include <device.h>
32 /**@defgroup COUNTER_FLAGS Counter device capabilities
103  * @param dev       Pointer to the device structure for the driver instance.
108 typedef void (*counter_alarm_callback_t)(const struct device *dev,
135  * @param dev       Pointer to the device structure for the driver instance.
138 typedef void (*counter_top_callback_t)(const struct device *dev,
173 typedef int (*counter_api_start)(const struct device *dev);
174 typedef int (*counter_api_stop)(const struct device *dev);
175 typedef int (*counter_api_get_value)(const struct device *dev,
177 typedef int (*counter_api_set_alarm)(const struct device *dev,
180 typedef int (*counter_api_cancel_alarm)(const struct device *dev,
182 typedef int (*counter_api_set_top_value)(const struct device *dev,
184 typedef uint32_t (*counter_api_get_pending_int)(const struct device *dev);
185 typedef uint32_t (*counter_api_get_top_value)(const struct device *dev);
186 typedef uint32_t (*counter_api_get_guard_period)(const struct device *dev,
188 typedef int (*counter_api_set_guard_period)(const struct device *dev,
208  * @param[in]  dev    Pointer to the device structure for the driver instance.
213 __syscall bool counter_is_counting_up(const struct device *dev);
215 static inline bool z_impl_counter_is_counting_up(const struct device *dev)  in z_impl_counter_is_counting_up()
226  * @param[in]  dev    Pointer to the device structure for the driver instance.
230 __syscall uint8_t counter_get_num_of_channels(const struct device *dev);
232 static inline uint8_t z_impl_counter_get_num_of_channels(const struct device *dev)  in z_impl_counter_get_num_of_channels()
243  * @param[in]  dev    Pointer to the device structure for the driver instance.
248 __syscall uint32_t counter_get_frequency(const struct device *dev);
250 static inline uint32_t z_impl_counter_get_frequency(const struct device *dev)  in z_impl_counter_get_frequency()
261  * @param[in]  dev    Pointer to the device structure for the driver instance.
266 __syscall uint32_t counter_us_to_ticks(const struct device *dev, uint64_t us);
268 static inline uint32_t z_impl_counter_us_to_ticks(const struct device *dev,  in z_impl_counter_us_to_ticks()
281  * @param[in]  dev    Pointer to the device structure for the driver instance.
286 __syscall uint64_t counter_ticks_to_us(const struct device *dev, uint32_t ticks);
288 static inline uint64_t z_impl_counter_ticks_to_us(const struct device *dev,  in z_impl_counter_ticks_to_us()
300  * @param[in]  dev    Pointer to the device structure for the driver instance.
304 __syscall uint32_t counter_get_max_top_value(const struct device *dev);
306 static inline uint32_t z_impl_counter_get_max_top_value(const struct device *dev)  in z_impl_counter_get_max_top_value()
315  * @brief Start counter device in free running mode.
317  * @param dev Pointer to the device structure for the driver instance.
322 __syscall int counter_start(const struct device *dev);
324 static inline int z_impl_counter_start(const struct device *dev)  in z_impl_counter_start()
333  * @brief Stop counter device.
335  * @param dev Pointer to the device structure for the driver instance.
338  * @retval -ENOTSUP if the device doesn't support stopping the
341 __syscall int counter_stop(const struct device *dev);
343 static inline int z_impl_counter_stop(const struct device *dev)  in z_impl_counter_stop()
353  * @param dev Pointer to the device structure for the driver instance.
359 __syscall int counter_get_value(const struct device *dev, uint32_t *ticks);
361 static inline int z_impl_counter_get_value(const struct device *dev,  in z_impl_counter_get_value()
379  * @param dev		Pointer to the device structure for the driver instance.
384  * @retval -ENOTSUP if request is not supported (device does not support
390 __syscall int counter_set_channel_alarm(const struct device *dev,
394 static inline int z_impl_counter_set_channel_alarm(const struct device *dev,  in z_impl_counter_set_channel_alarm()
413  * @param dev		Pointer to the device structure for the driver instance.
420 __syscall int counter_cancel_channel_alarm(const struct device *dev,
423 static inline int z_impl_counter_cancel_channel_alarm(const struct device *dev,  in z_impl_counter_cancel_channel_alarm()
449  * @param dev		Pointer to the device structure for the driver instance.
460 __syscall int counter_set_top_value(const struct device *dev,
463 static inline int z_impl_counter_set_top_value(const struct device *dev,  in z_impl_counter_set_top_value()
481  * status register for the device.
485  * @param dev Pointer to the device structure for the driver instance.
490 __syscall int counter_get_pending_int(const struct device *dev);
492 static inline int z_impl_counter_get_pending_int(const struct device *dev)  in z_impl_counter_get_pending_int()
503  * @param[in]  dev    Pointer to the device structure for the driver instance.
507 __syscall uint32_t counter_get_top_value(const struct device *dev);
509 static inline uint32_t z_impl_counter_get_top_value(const struct device *dev)  in z_impl_counter_get_top_value()
537  * @param dev		Pointer to the device structure for the driver instance.
545 __syscall int counter_set_guard_period(const struct device *dev,
549 static inline int z_impl_counter_set_guard_period(const struct device *dev,  in z_impl_counter_set_guard_period()
567  * @param dev	Pointer to the device structure for the driver instance.
573 __syscall uint32_t counter_get_guard_period(const struct device *dev,
576 static inline uint32_t z_impl_counter_get_guard_period(const struct device *dev,  in z_impl_counter_get_guard_period()