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