Changeset 121 for trunk/hal/generic

Timestamp:

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

Author:

alain

Message:

Fix bugs in hal_remote, hal uspace, hal_special

Location:

trunk/hal/generic

Files:

• hal_remote.h (modified) (1 diff)
• hal_special.h (modified) (2 diffs)
• hal_uspace.h (modified) (1 diff)

trunk/hal/generic/hal_remote.h

@@ -174 +174 @@
                         uint32_t size );
 
+/*****************************************************************************************
+ * This function makes a copy from a source character string to another destination
+ * character string, including the NUL terminating character.
+ *****************************************************************************************
+ * @ dst     : extended pointer to destination char array.
+ * @ src     : extended pointer to source char array.
+ ****************************************************************************************/
+void hal_remote_strcpy( xptr_t dst,
+                        xptr_t src );
+
 #endif  /* _HAL_REMOTE_H_ */

trunk/hal/generic/hal_special.h

@@ -40 +40 @@
  * This function returns the global core identifier from the calling core register.
  ****************************************************************************************/
-gid_t hal_get_gid();
+inline gid_t hal_get_gid();
+
+/*****************************************************************************************
+ * This function returns the current value of the hardware cycles counter.
+ ****************************************************************************************/
+inline cycle_t hal_time_stamp();
 
 /*****************************************************************************************
@@ -52 +57 @@
  * This function returns the current thread pointer from the calling core register.
  ****************************************************************************************/
-struct thread_s * hal_get_current_thread();
+inline struct thread_s * hal_get_current_thread();
 
 /*****************************************************************************************

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 );
 
 /*****************************************************************************************