/* tipc_get_handle - return user handle associated to port 'ref'  */
void* tipc_get_handle(const u32 ref)
/* tipc_get_handle - return user handle associated to port 'ref'  */
void* tipc_get_handle(const u32 ref)
{
	struct port *p_ptr;
	void * handle;
	p_ptr = tipc_port_lock(ref);
	if (!p_ptr)
		return NULL;
	handle = p_ptr->publ.usr_handle;
	tipc_port_unlock(p_ptr);
	return handle;
}