31 	void __user *out = (void __user *) (uintptr_t) args->return_pointer;  in device_status_info()  local
46 	void __user *out = (void __user *) (uintptr_t) args->return_pointer;  in hw_ip_info()  local
90 	void __user *out = (void __user *) (uintptr_t) args->return_pointer;  in hw_events_info()  local
106 	void __user *out = (void __user *) (uintptr_t) args->return_pointer;  in dram_usage_info()  local
129 	void __user *out = (void __user *) (uintptr_t) args->return_pointer;  in hw_idle()  local
212 	void __user *out = (void __user *) (uintptr_t) args->return_pointer;  in device_utilization()  local
235 	void __user *out = (void __user *) (uintptr_t) args->return_pointer;  in get_clk_rate()  local
254 	void __user *out = (void __user *) (uintptr_t) args->return_pointer;  in get_reset_count()  local
270 	void __user *out = (void __user *) (uintptr_t) args->return_pointer;  in time_sync_info()  local
287 	void __user *out = (void __user *) (uintptr_t) args->return_pointer;  in pci_counters_info()  local
306 	void __user *out = (void __user *) (uintptr_t) args->return_pointer;  in clk_throttle_info()  local
322 	void __user *out = (void __user *) (uintptr_t) args->return_pointer;  in cs_counters_info()  local
344 	void __user *out = (void __user *) (uintptr_t) args->return_pointer;  in sync_manager_info()  local
368 	void __user *out = (void __user *) (uintptr_t) args->return_pointer;  in total_energy_consumption_info()  local