16 		K_OOPS(K_SYSCALL_DRIVER_COUNTER(dev, name)); \
30 	K_OOPS(K_SYSCALL_OBJ(dev, K_OBJ_DRIVER_COUNTER));  in COUNTER_HANDLER()
37 	K_OOPS(K_SYSCALL_OBJ(dev, K_OBJ_DRIVER_COUNTER));  in z_vrfy_counter_get_num_of_channels()
44 	K_OOPS(K_SYSCALL_OBJ(dev, K_OBJ_DRIVER_COUNTER));  in z_vrfy_counter_get_frequency()
52 	K_OOPS(K_SYSCALL_OBJ(dev, K_OBJ_DRIVER_COUNTER));  in z_vrfy_counter_us_to_ticks()
61 	K_OOPS(K_SYSCALL_OBJ(dev, K_OBJ_DRIVER_COUNTER));  in z_vrfy_counter_ticks_to_us()
70 	K_OOPS(K_SYSCALL_DRIVER_COUNTER(dev, get_value));  in z_vrfy_counter_get_value()
71 	K_OOPS(K_SYSCALL_MEMORY_WRITE(ticks, sizeof(*ticks)));  in z_vrfy_counter_get_value()
79 	K_OOPS(K_SYSCALL_DRIVER_COUNTER(dev, get_value_64));  in z_vrfy_counter_get_value_64()
80 	K_OOPS(K_SYSCALL_MEMORY_WRITE(ticks, sizeof(*ticks)));  in z_vrfy_counter_get_value_64()
91 	K_OOPS(K_SYSCALL_DRIVER_COUNTER(dev, set_alarm));  in z_vrfy_counter_set_channel_alarm()
92 	K_OOPS(k_usermode_from_copy(&cfg_copy, alarm_cfg, sizeof(cfg_copy)));  in z_vrfy_counter_set_channel_alarm()
93 	K_OOPS(K_SYSCALL_VERIFY_MSG(cfg_copy.callback == NULL,  in z_vrfy_counter_set_channel_alarm()
105 	K_OOPS(K_SYSCALL_DRIVER_COUNTER(dev, cancel_alarm));  in z_vrfy_counter_cancel_channel_alarm()
117 	K_OOPS(K_SYSCALL_DRIVER_COUNTER(dev, set_top_value));  in z_vrfy_counter_set_top_value()
118 	K_OOPS(k_usermode_from_copy(&cfg_copy, cfg, sizeof(cfg_copy)));  in z_vrfy_counter_set_top_value()
119 	K_OOPS(K_SYSCALL_VERIFY_MSG(cfg_copy.callback == NULL,  in z_vrfy_counter_set_top_value()
129 	K_OOPS(K_SYSCALL_DRIVER_COUNTER(dev, get_top_value));  in z_vrfy_counter_get_top_value()
136 	K_OOPS(K_SYSCALL_OBJ(dev, K_OBJ_DRIVER_COUNTER));  in z_vrfy_counter_get_max_top_value()
144 	K_OOPS(K_SYSCALL_OBJ(dev, K_OBJ_DRIVER_COUNTER));  in z_vrfy_counter_get_guard_period()
153 	K_OOPS(K_SYSCALL_OBJ(dev, K_OBJ_DRIVER_COUNTER));  in z_vrfy_counter_set_guard_period()