Changeset 623 for trunk/hal/generic/hal_vmm.h

Timestamp:

Mar 6, 2019, 4:37:15 PM (5 years ago)

Author:

alain

Message:

Introduce three new types of vsegs (KCODE,KDATA,KDEV)
to map the kernel vsegs in the process VSL and GPT.
This now used by both the TSAR and the I86 architectures.

File:

• trunk/hal/generic/hal_vmm.h (modified) (4 diffs)

trunk/hal/generic/hal_vmm.h

@@ -1 +1 @@
 /*
- * hal_vmm.h - Generic Virtual Memory Manager initialisation
+ * hal_vmm.h - Kernel Virtual Memory Manager initialisation
  *
- * Authors  Alain Greiner (2016,2017)
+ * Authors  Alain Greiner (2016,2017,2018,2019)
  *
  * Copyright (c) UPMC Sorbonne Universites
@@ -22 +22 @@
  */
 
-#ifndef _HAL_PPM_H_
-#define _HAL_PPM_H_
+#ifndef _HAL_VMM_H_
+#define _HAL_VMM_H_
 
 #include <hal_kernel_types.h>
@@ -29 +29 @@
 
 /////////////////////////////////////////////////////////////////////////////////////////
-//    Generic Virtual Memory Manager initialisation (implementation in hal_vmm.c)
+//    Kernel Virtual Memory Manager initialisation (implementation in hal_vmm.c)
 //
 // Any arch-specific implementation must implement this API.
@@ -36 +36 @@
 /****  Forward declarations  ****/
 
-struct vmm_s;
+struct process_s;
+struct boot_info_s;
 
 /****************************************************************************************
- * This function makes all architecture specific initialisations
- * in the VSL (Virtual segments List) and in the GPT (Generic Page Table). 
+ * Depending on the hardware architecture, this function creates (i.e. allocates memory
+ * and initializes) the VSL (Virtual segments List) and the GPT (Generic Page Table),
+ * for all vsegs required by the kernel process. 
  ****************************************************************************************
- * @ vmm   : pointer on virtual memory manager.
+ * @ info  : local pointer on boot_info (for kernel segments base & size).
  * @ return 0 if success / return ENOMEM if failure.
  ***************************************************************************************/
-error_t hal_vmm_init( struct vmm_s * vmm );
+error_t hal_vmm_kernel_init( struct boot_info_s * info );
 
-#endif  /* HAL_PPM_H_ */
+/****************************************************************************************
+ * Depending on the hardware architecture, this function updates the VMM of an user
+ * process identified by the <process> argument. It registers in VSL and GPT all
+ * kernel vsegs required by this architecture.
+ ****************************************************************************************
+ * @ process   : local pointer on user process descriptor.
+ * @ return 0 if success / return ENOMEM if failure.
+ ***************************************************************************************/
+error_t hal_vmm_kernel_update( struct process_s * process );
+
+#endif  /* HAL_VMM_H_ */