26 	void *va = NULL;  in socket_open()  local
38 	va = thread_rpc_shm_cache_alloc(THREAD_SHM_CACHE_USER_SOCKET,  in socket_open()
41 	if (!va)  in socket_open()
44 	res = copy_from_user(va, params[1].memref.buffer,  in socket_open()
91 	void *va = NULL;  in socket_send()  local
103 	va = thread_rpc_shm_cache_alloc(THREAD_SHM_CACHE_USER_SOCKET,  in socket_send()
106 	if (!va)  in socket_send()
109 	res = copy_from_user(va, params[1].memref.buffer,  in socket_send()
132 	void *va = NULL;  in socket_recv()  local
145 		va = thread_rpc_shm_cache_alloc(THREAD_SHM_CACHE_USER_SOCKET,  in socket_recv()
148 		if (!va)  in socket_recv()
162 		res2 = copy_to_user(params[1].memref.buffer, va,  in socket_recv()
179 	void *va = NULL;  in socket_ioctl()  local
191 	va = thread_rpc_shm_cache_alloc(THREAD_SHM_CACHE_USER_SOCKET,  in socket_ioctl()
194 	if (!va)  in socket_ioctl()
197 	res = copy_from_user(va, params[1].memref.buffer,  in socket_ioctl()
212 		res2 = copy_to_user(params[1].memref.buffer, va,  in socket_ioctl()