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()
75 static inline int z_vrfy_counter_get_value_64(const struct device *dev,  in z_vrfy_counter_get_value_64()
80 	return z_impl_counter_get_value_64((const struct device *)dev, ticks);  in z_vrfy_counter_get_value_64()
85 static inline int z_vrfy_counter_set_channel_alarm(const struct device *dev,  in z_vrfy_counter_set_channel_alarm()
95 	return z_impl_counter_set_channel_alarm((const struct device *)dev,  in z_vrfy_counter_set_channel_alarm()
102 static inline int z_vrfy_counter_cancel_channel_alarm(const struct device *dev,  in z_vrfy_counter_cancel_channel_alarm()
106 	return z_impl_counter_cancel_channel_alarm((const struct device *)dev,  in z_vrfy_counter_cancel_channel_alarm()
111 static inline int z_vrfy_counter_set_top_value(const struct device *dev,  in z_vrfy_counter_set_top_value()
121 	return z_impl_counter_set_top_value((const struct device *)dev,  in z_vrfy_counter_set_top_value()
127 static inline uint32_t z_vrfy_counter_get_top_value(const struct device *dev)  in z_vrfy_counter_get_top_value()
130 	return z_impl_counter_get_top_value((const struct device *)dev);  in z_vrfy_counter_get_top_value()
134 static inline uint32_t z_vrfy_counter_get_max_top_value(const struct device *dev)  in z_vrfy_counter_get_max_top_value()
137 	return z_impl_counter_get_max_top_value((const struct device *)dev);  in z_vrfy_counter_get_max_top_value()
141 static inline uint32_t z_vrfy_counter_get_guard_period(const struct device *dev,  in z_vrfy_counter_get_guard_period()
145 	return z_impl_counter_get_guard_period((const struct device *)dev,  in z_vrfy_counter_get_guard_period()
150 static inline int z_vrfy_counter_set_guard_period(const struct device *dev,  in z_vrfy_counter_set_guard_period()
154 	return z_impl_counter_set_guard_period((const struct device *)dev,  in z_vrfy_counter_set_guard_period()