Changeset 619 for trunk/hal/generic

Timestamp:

Feb 12, 2019, 1:15:47 PM (5 years ago)

Author:

alain

Message:

1) Fix a bug in KSH : after the "load" command,

the [ksh] prompt is now printed after completion
of the loaded application.

2) Fix a bug in vmm_handle_cow() : the copy-on-write

use now a hal_remote_memcpy() to replicate the page content.

Location:

trunk/hal/generic

Files:

• hal_exception.h (modified) (3 diffs)
• hal_remote.h (modified) (1 diff)
• hal_special.h (modified) (1 diff)

trunk/hal/generic/hal_exception.h

@@ -26 +26 @@
 
 #include <hal_kernel_types.h>
+#include <thread.h>
 
 //////////////////////////////////////////////////////////////////////////////////////////
@@ -59 +60 @@
     EXCP_USER_ERROR,
     EXCP_KERNEL_PANIC,
+
 }
 exception_handling_type_t;
@@ -69 +71 @@
 void hal_do_exception( void );
 
+
 #endif  // _HAL_EXCEPTION_H_

trunk/hal/generic/hal_remote.h

@@ -166 +166 @@
  * destination remote buffer in kernel space.
  *****************************************************************************************
- * @ dst     : extended pointer to destination buffer
- * @ src     : extended pointer to source buffer
+ * @ dst_xp  : extended pointer to destination buffer
+ * @ src_xp  : extended pointer to source buffer
  * @ size    : number of bytes to move
  ****************************************************************************************/
-void hal_remote_memcpy( xptr_t   dst,
-                        xptr_t   src,
+void hal_remote_memcpy( xptr_t   dst_xp,
+                        xptr_t   src_xp,
                         uint32_t size );
 

trunk/hal/generic/hal_special.h

@@ -84 +84 @@
  * This function returns the current value of stack pointer from core register.
  ****************************************************************************************/
-uint32_t hal_get_stack( void );
+uint32_t hal_get_sp( void );
+
+/*****************************************************************************************
+ * This function returns the current value of the return adddress from core register.
+ ****************************************************************************************/
+uint32_t hal_get_ra( void );
 
 /*****************************************************************************************
  * This function registers a new value in the core stack pointer and returns previous one.
  ****************************************************************************************/
-inline uint32_t hal_set_stack( void * new_val );
+inline uint32_t hal_set_sp( void * new_val );
 
 /*****************************************************************************************