Changeset 121 for trunk/hal/generic/hal_uspace.h

Timestamp:

Jul 3, 2017, 2:17:20 PM (7 years ago)

Author:

alain

Message:

Fix bugs in hal_remote, hal uspace, hal_special

File:

• trunk/hal/generic/hal_uspace.h (modified) (1 diff)

trunk/hal/generic/hal_uspace.h

@@ -64 +64 @@
  * This function tranfers a NUL terminated string from the user space to the kernel space.
  * If the kernel uses physical addresses, it activates the MMU to access the user buffer.
+ * TODO : implement the max_size argument handling
  *****************************************************************************************
  * @ u_dst     : destination buffer address in user space.
  * @ k_src     : source address in kernel space.
+ * @ max_size  : max number of characters to be copied.
  ****************************************************************************************/
-extern void hal_strcpy_from_uspace( char * k_dst,
-                                    char * u_src );
+extern void hal_strcpy_from_uspace( char     * k_dst,
+                                    char     * u_src, 
+                                    uint32_t   max_size );
 
 /*****************************************************************************************
  * This function tranfers a NUL terminated string from the kernel space to the user space.
  * If the kernel uses physical addresses, it activates the MMU to access the user buffer.
+ * TODO : implement the max_size argument handling
  *****************************************************************************************
  * @ u_dst     : destination buffer address in user space.
  * @ k_src     : source address in kernel space.
+ * @ max_size  : max number of characters to be copied.
  ****************************************************************************************/
-extern void hal_strcpy_to_uspace( char * u_dst,
-                                  char * k_src );
+extern void hal_strcpy_to_uspace( char     * u_dst,
+                                  char     * k_src,
+                                  uint32_t   max_size );
 
 /*****************************************************************************************