Changeset 619 for trunk/hal/generic


Ignore:
Timestamp:
Feb 12, 2019, 1:15:47 PM (3 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:
3 edited

Legend:

Unmodified
Added
Removed
  • trunk/hal/generic/hal_exception.h

    r587 r619  
    2626
    2727#include <hal_kernel_types.h>
     28#include <thread.h>
    2829
    2930//////////////////////////////////////////////////////////////////////////////////////////
     
    5960    EXCP_USER_ERROR,
    6061    EXCP_KERNEL_PANIC,
     62
    6163}
    6264exception_handling_type_t;
     
    6971void hal_do_exception( void );
    7072
     73
    7174#endif  // _HAL_EXCEPTION_H_
  • trunk/hal/generic/hal_remote.h

    r570 r619  
    166166 * destination remote buffer in kernel space.
    167167 *****************************************************************************************
    168  * @ dst     : extended pointer to destination buffer
    169  * @ src     : extended pointer to source buffer
     168 * @ dst_xp  : extended pointer to destination buffer
     169 * @ src_xp  : extended pointer to source buffer
    170170 * @ size    : number of bytes to move
    171171 ****************************************************************************************/
    172 void hal_remote_memcpy( xptr_t   dst,
    173                         xptr_t   src,
     172void hal_remote_memcpy( xptr_t   dst_xp,
     173                        xptr_t   src_xp,
    174174                        uint32_t size );
    175175
  • trunk/hal/generic/hal_special.h

    r480 r619  
    8484 * This function returns the current value of stack pointer from core register.
    8585 ****************************************************************************************/
    86 uint32_t hal_get_stack( void );
     86uint32_t hal_get_sp( void );
     87
     88/*****************************************************************************************
     89 * This function returns the current value of the return adddress from core register.
     90 ****************************************************************************************/
     91uint32_t hal_get_ra( void );
    8792
    8893/*****************************************************************************************
    8994 * This function registers a new value in the core stack pointer and returns previous one.
    9095 ****************************************************************************************/
    91 inline uint32_t hal_set_stack( void * new_val );
     96inline uint32_t hal_set_sp( void * new_val );
    9297
    9398/*****************************************************************************************
Note: See TracChangeset for help on using the changeset viewer.