33 	void __user *out = (void __user *) (uintptr_t) args->return_pointer;  in device_status_info()
48 	void __user *out = (void __user *) (uintptr_t) args->return_pointer;  in hw_ip_info()
107 	void __user *out = (void __user *) (uintptr_t) args->return_pointer;  in hw_events_info()
123 	void __user *out = (void __user *) (uintptr_t) args->return_pointer;  in dram_usage_info()
146 	void __user *out = (void __user *) (uintptr_t) args->return_pointer;  in hw_idle()
210 	if (output && copy_to_user((void __user *) (uintptr_t) args->output_ptr,  in debug_coresight()
230 	void __user *out = (void __user *) (uintptr_t) args->return_pointer;  in device_utilization()
248 	void __user *out = (void __user *) (uintptr_t) args->return_pointer;  in get_clk_rate()
267 	void __user *out = (void __user *) (uintptr_t) args->return_pointer;  in get_reset_count()
283 	void __user *out = (void __user *) (uintptr_t) args->return_pointer;  in time_sync_info()
300 	void __user *out = (void __user *) (uintptr_t) args->return_pointer;  in pci_counters_info()
319 	void __user *out = (void __user *) (uintptr_t) args->return_pointer;  in clk_throttle_info()
332 	void __user *out = (void __user *) (uintptr_t) args->return_pointer;  in cs_counters_info()
387 	void __user *out = (void __user *) (uintptr_t) args->return_pointer;  in sync_manager_info()
412 	void __user *out = (void __user *) (uintptr_t) args->return_pointer;  in total_energy_consumption_info()
432 	void __user *out = (void __user *) (uintptr_t) args->return_pointer;  in pll_frequency_info()
451 	void __user *out = (void __user *) (uintptr_t) args->return_pointer;  in power_info()
470 	void __user *out = (void __user *) (uintptr_t) args->return_pointer;  in open_stats_info()