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

Timestamp:

Jun 29, 2017, 1:40:15 PM (7 years ago)

Author:

alain

Message:

hal_special: replace hal_time_stamp() by hal_get_cycles()
hal_remote : remove hal_remove_unc()

File:

• trunk/hal/generic/hal_uspace.h (modified) (3 diffs)

trunk/hal/generic/hal_uspace.h

@@ -31 +31 @@
 //
 // When moving data between user space and kernel space, the user address is always
-// a virtual address, but the kernel address can be a physical address, on some
-// architectures. For sake of portability, data transfers must use the following API.
+// a virtual address, but the kernel address can be a physical address, on 32 bits
+// architectures, and require MMU dynamic activation/deactivation. 
+// For sake of portability, user/kernel data transfers must use the following API.
 //////////////////////////////////////////////////////////////////////////////////////////
 
@@ -61 +62 @@
 
 /*****************************************************************************************
+ * 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.
+ *****************************************************************************************
+ * @ u_dst     : destination buffer address in user space.
+ * @ k_src     : source address in kernel space.
+ ****************************************************************************************/
+extern void hal_strcpy_from_uspace( char * k_dst,
+                                    char * u_src );
+
+/*****************************************************************************************
+ * 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.
+ *****************************************************************************************
+ * @ u_dst     : destination buffer address in user space.
+ * @ k_src     : source address in kernel space.
+ ****************************************************************************************/
+extern void hal_strcpy_to_uspace( char * u_dst,
+                                  char * k_src );
+
+/*****************************************************************************************
  * This function computes the length of a string in user space.
  * If the kernel uses physical addresses, it activates the MMU to access the user buffer.
@@ -67 +88 @@
  * @ return length of the string.
  ****************************************************************************************/
-uint32_t hal_strlen_from_uspace( char     * string );
+uint32_t hal_strlen_from_uspace( char * string );