31 	void __user *out = (void __user *) (uintptr_t) args->return_pointer;  in device_status_info()
46 	void __user *out = (void __user *) (uintptr_t) args->return_pointer;  in hw_ip_info()
90 	void __user *out = (void __user *) (uintptr_t) args->return_pointer;  in hw_events_info()
106 	void __user *out = (void __user *) (uintptr_t) args->return_pointer;  in dram_usage_info()
129 	void __user *out = (void __user *) (uintptr_t) args->return_pointer;  in hw_idle()
190 	if (output && copy_to_user((void __user *) (uintptr_t) args->output_ptr,  in debug_coresight()
210 	void __user *out = (void __user *) (uintptr_t) args->return_pointer;  in device_utilization()
233 	void __user *out = (void __user *) (uintptr_t) args->return_pointer;  in get_clk_rate()
252 	void __user *out = (void __user *) (uintptr_t) args->return_pointer;  in get_reset_count()
268 	void __user *out = (void __user *) (uintptr_t) args->return_pointer;  in time_sync_info()
285 	void __user *out = (void __user *) (uintptr_t) args->return_pointer;  in pci_counters_info()
304 	void __user *out = (void __user *) (uintptr_t) args->return_pointer;  in clk_throttle_info()
320 	void __user *out = (void __user *) (uintptr_t) args->return_pointer;  in cs_counters_info()
342 	void __user *out = (void __user *) (uintptr_t) args->return_pointer;  in sync_manager_info()
366 	void __user *out = (void __user *) (uintptr_t) args->return_pointer;  in total_energy_consumption_info()