Changeset 625 for trunk/hal/tsar_mips32/core/hal_kentry.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/tsar_mips32/core/hal_kentry.h (modified) (6 diffs)

trunk/hal/tsar_mips32/core/hal_kentry.h

@@ -1 +1 @@
 /*
- * hal_kentry.h - MIPS32 registers mnemonics
+ * hal_kentry.h - uzone definition
  * 
- * Copyright (c) 2008,2009,2010,2011,2012 Ghassan Almaless
- * Copyright (c) 2011,2012 UPMC Sorbonne Universites
+ * Author     Alain Greiner (2016,2017,2018,2019)
+ *
+ * Copyright (c) UPMC Sorbonne Universites
  * 
- * This file is part of ALMOS-kernel.
+ * This file is part of ALMOS-MKH.
  *
- * ALMOS-kernel is free software; you can redistribute it and/or modify it
+ * ALMOS-MKH is free software; you can redistribute it and/or modify it
  * under the terms of the GNU General Public License as published by
  * the Free Software Foundation; version 2.0 of the License.
  *
- * ALMOS-kernel is distributed in the hope that it will be useful, but
+ * ALMOS-MKH is distributed in the hope that it will be useful, but
  * WITHOUT ANY WARRANTY; without even the implied warranty of
  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
@@ -28 +29 @@
 // a fixed size array of 32 bits integers, used by the kentry function to save/restore 
 // the MIPS32 CPU registers, at each exception / interruption / syscall.
-// It also defines several initial values for the SR register.
 //
 // This file is included in the hal_kentry.S, hal_syscall.c, hal_exception.c,
@@ -36 +36 @@
 
 /****************************************************************************************
- * This structure defines the cpu_uzone dynamically allocated in the kernel stack
- * by the hal_kentry assembly code for the TSAR_MIPS32 architecture.
+ * This structure defines the "uzone" dynamically allocated in the kernel stack
+ * by the hal_kentry assembly code to save the MIPS32 registers each time a core
+ * enters the kernel to handle an interrupt, exception, or syscall.
+ * These define are specific for the TSAR_MIPS32 architecture.
+ *
  * WARNING : It is replicated in hal_kentry.S file.
  ***************************************************************************************/
@@ -87 +90 @@
  * The hal_kentry_enter() function is the unique kernel entry point in case of 
  * exception, interrupt, or syscall for the TSAR_MIPS32 architecture.  
- * It can be executed by a core in user mode (in case of exception or syscall),
- * or by a core already in kernel mode (in case of interrupt).
- *
+ * It can be executed by a core in user mode or by a core already in kernel mode
+ * (in case of interrupt or non fatal exception).
  * In both cases it allocates an "uzone" space in the kernel stack to save the
  * CPU registers values, desactivates the MMU, and calls the relevant handler 
@@ -95 +97 @@
  *
  * After handler execution, it restores the CPU context from the uzone and jumps 
- * to address contained in EPC calling hal_kentry_eret()
+ * to address contained in EPC calling the hal_kentry_eret() function.
  ************************************************************************************/
 void hal_kentry_enter( void );
@@ -101 +103 @@
 /*************************************************************************************
  * The hal_kentry_eret() function contains only the assembly "eret" instruction,
- * that reset the EXL bit in the c0_sr register, and jump to the address 
+ * that reset the EXL bit in the c0_sr register, and jumps to the address 
  * contained in the c0_epc register. 
  * ************************************************************************************/