Changeset 625 for trunk/hal/generic/hal_special.h

Timestamp:

Apr 10, 2019, 10:09:39 AM (5 years ago)

Author:

alain

Message:

Fix a bug in the vmm_remove_vseg() function: the physical pages
associated to an user DATA vseg were released to the kernel when
the target process descriptor was in the reference cluster.
This physical pages release should be done only when the page
forks counter value is zero.
All other modifications are cosmetic.

File:

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

trunk/hal/generic/hal_special.h

@@ -101 +101 @@
  * This function returns the current value of stack pointer from core register.
  ****************************************************************************************/
-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_sp( void * new_val );
+reg_t hal_get_sp( void );
 
 /*****************************************************************************************
  * This function returns the faulty address in case of address exception.
  ****************************************************************************************/
-uint32_t hal_get_bad_vaddr( void );
+reg_t hal_get_bad_vaddr( void );
 
 /*****************************************************************************************