14 	static inline int z_vrfy_counter_##name(const struct device *dev) \
17 		return z_impl_counter_ ## name((const struct device *)dev); \
28 static inline bool z_vrfy_counter_is_counting_up(const struct device *dev)  in COUNTER_HANDLER()
31 	return z_impl_counter_is_counting_up((const struct device *)dev);  in COUNTER_HANDLER()
35 static inline uint8_t z_vrfy_counter_get_num_of_channels(const struct device *dev)  in z_vrfy_counter_get_num_of_channels()
38 	return z_impl_counter_get_num_of_channels((const struct device *)dev);  in z_vrfy_counter_get_num_of_channels()
42 static inline uint32_t z_vrfy_counter_get_frequency(const struct device *dev)  in z_vrfy_counter_get_frequency()
45 	return z_impl_counter_get_frequency((const struct device *)dev);  in z_vrfy_counter_get_frequency()
49 static inline uint32_t z_vrfy_counter_us_to_ticks(const struct device *dev,  in z_vrfy_counter_us_to_ticks()
53 	return z_impl_counter_us_to_ticks((const struct device *)dev,  in z_vrfy_counter_us_to_ticks()
58 static inline uint64_t z_vrfy_counter_ticks_to_us(const struct device *dev,  in z_vrfy_counter_ticks_to_us()
62 	return z_impl_counter_ticks_to_us((const struct device *)dev,  in z_vrfy_counter_ticks_to_us()
67 static inline int z_vrfy_counter_get_value(const struct device *dev,  in z_vrfy_counter_get_value()
72 	return z_impl_counter_get_value((const struct device *)dev, ticks);  in z_vrfy_counter_get_value()
76 static inline int z_vrfy_counter_set_channel_alarm(const struct device *dev,  in z_vrfy_counter_set_channel_alarm()
86 	return z_impl_counter_set_channel_alarm((const struct device *)dev,  in z_vrfy_counter_set_channel_alarm()
93 static inline int z_vrfy_counter_cancel_channel_alarm(const struct device *dev,  in z_vrfy_counter_cancel_channel_alarm()
97 	return z_vrfy_counter_cancel_channel_alarm((const struct device *)dev,  in z_vrfy_counter_cancel_channel_alarm()
102 static inline int z_vrfy_counter_set_top_value(const struct device *dev,  in z_vrfy_counter_set_top_value()
112 	return z_impl_counter_set_top_value((const struct device *)dev,  in z_vrfy_counter_set_top_value()
118 static inline uint32_t z_vrfy_counter_get_top_value(const struct device *dev)  in z_vrfy_counter_get_top_value()
121 	return z_impl_counter_get_top_value((const struct device *)dev);  in z_vrfy_counter_get_top_value()
125 static inline uint32_t z_vrfy_counter_get_max_top_value(const struct device *dev)  in z_vrfy_counter_get_max_top_value()
128 	return z_impl_counter_get_max_top_value((const struct device *)dev);  in z_vrfy_counter_get_max_top_value()
132 static inline uint32_t z_vrfy_counter_get_guard_period(const struct device *dev,  in z_vrfy_counter_get_guard_period()
136 	return z_impl_counter_get_guard_period((const struct device *)dev,  in z_vrfy_counter_get_guard_period()
141 static inline int z_vrfy_counter_set_guard_period(const struct device *dev,  in z_vrfy_counter_set_guard_period()
145 	return z_impl_counter_set_guard_period((const struct device *)dev,  in z_vrfy_counter_set_guard_period()