14 	static inline int z_vrfy_counter_##name(const struct device *dev) \
16 		K_OOPS(K_SYSCALL_DRIVER_COUNTER(dev, name)); \
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()
30 	K_OOPS(K_SYSCALL_OBJ(dev, K_OBJ_DRIVER_COUNTER));  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()  argument
37 	K_OOPS(K_SYSCALL_OBJ(dev, K_OBJ_DRIVER_COUNTER));  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()  argument
44 	K_OOPS(K_SYSCALL_OBJ(dev, K_OBJ_DRIVER_COUNTER));  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()  argument
52 	K_OOPS(K_SYSCALL_OBJ(dev, K_OBJ_DRIVER_COUNTER));  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()  argument
61 	K_OOPS(K_SYSCALL_OBJ(dev, K_OBJ_DRIVER_COUNTER));  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()  argument
70 	K_OOPS(K_SYSCALL_DRIVER_COUNTER(dev, get_value));  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_get_value_64(const struct device *dev,  in z_vrfy_counter_get_value_64()  argument
79 	K_OOPS(K_SYSCALL_DRIVER_COUNTER(dev, get_value_64));  in z_vrfy_counter_get_value_64()
81 	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()  argument
91 	K_OOPS(K_SYSCALL_DRIVER_COUNTER(dev, set_alarm));  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()  argument
105 	K_OOPS(K_SYSCALL_DRIVER_COUNTER(dev, cancel_alarm));  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()  argument
117 	K_OOPS(K_SYSCALL_DRIVER_COUNTER(dev, set_top_value));  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()  argument
129 	K_OOPS(K_SYSCALL_DRIVER_COUNTER(dev, get_top_value));  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()  argument
136 	K_OOPS(K_SYSCALL_OBJ(dev, K_OBJ_DRIVER_COUNTER));  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()  argument
144 	K_OOPS(K_SYSCALL_OBJ(dev, K_OBJ_DRIVER_COUNTER));  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()  argument
153 	K_OOPS(K_SYSCALL_OBJ(dev, K_OBJ_DRIVER_COUNTER));  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()