/* Copyright (C) 2005  David Decotigny

   This program is free software; you can redistribute it and/or
   modify it under the terms of the GNU General Public License
   as published by the Free Software Foundation; either version 2
   of the License, or (at your option) any later version.
   
   This program is distributed in the hope that it will be useful,
   but WITHOUT ANY WARRANTY; without even the implied warranty of
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
   GNU General Public License for more details.
   
   You should have received a copy of the GNU General Public License
   along with this program; if not, write to the Free Software
   Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307,
   USA. 
*/
#ifndef _SOS_UACCESS_H_
#define _SOS_UACCESS_H_


/**
 * @file uaccess.h
 *
 * Routines to access user-space data from inside the kernel space.
 */

#include <sos/types.h>
#include <sos/errno.h>


/**
 * Retrieve a bunch of data from the user space of the
 * current_thread->process
 *
 * @return <0 on error ! Return the number of bytes successfully copied
 * otherwise.
 */
sos_ret_t sos_memcpy_from_user(sos_vaddr_t kernel_to,
			       sos_uaddr_t user_from,
			       sos_size_t size);


/**
 * Transfer a bunch of data to the user space of the
 * current_thread->process
 *
 * @return <0 n error ! Return the number of bytes successfully copied
 * otherwise.
 */
sos_ret_t sos_memcpy_to_user(sos_uaddr_t user_to,
			     sos_vaddr_t kernel_from,
			     sos_size_t size);


/**
 * @return the length of the given user space string user_str
 * (excluding the trailing \0), up to max_len bytes. <0 on error
 * (unresolved page fault, etc.)
 */
sos_ret_t sos_strnlen_from_user(sos_uaddr_t user_str, sos_size_t max_len);


/**
 * Copy the given user space string to kernel space, up to max_len
 * bytes (including trailing \0)
 *
 * @return SOS_OK on success, <0 otherwise (unresolved page fault, etc.)
 */
sos_ret_t sos_strzcpy_from_user(char *kernel_to, sos_uaddr_t user_from,
				sos_size_t max_len);


/**
 * Copy the given kernel string to user space, up to max_len bytes
 * (including trailing \0)
 *
 * @return SOS_OK on success, <0 otherwise (unresolved page fault, etc.)
 */
sos_ret_t sos_strzcpy_to_user(sos_uaddr_t user_to, const char *kernel_from,
			      sos_size_t max_len);


/**
 * Copy the given user space string into a new allocated kernel space
 * area of the correct size, up to max_len bytes (including trailing
 * \0)
 *
 * @return SOS_OK on success + *kernel_to is set to the freshly
 * allocated kernel string, <0 otherwise (unresolved page fault, etc.)
 */
sos_ret_t sos_strndup_from_user(char ** kernel_to, sos_uaddr_t from_user,
				sos_size_t max_len,
				sos_ui32_t kmalloc_flags);

#endif /* _SOS_UACCESS_H_ */