Changeset 68 for trunk/kernel/mm/vmm.h

Timestamp:

Jun 27, 2017, 10:24:13 AM (7 years ago)

Author:

alain

Message:

Fix bug in kernel_init, and reduce size of remote_fifo.

File:

• trunk/kernel/mm/vmm.h (modified) (3 diffs)

trunk/kernel/mm/vmm.h

@@ -223 +223 @@
  * This function allocates physical memory from the local cluster to map all PTEs
  * of a "kernel" vseg (type KCODE , KDATA, or KDEV) in the page table of process_zero.
- * It should not be used for other vseg types, because "user" vsegs use the
+ * WARNING : It should not be used for "user" vsegs, that must be mapped using the
  * "on-demand-paging" policy.
  *********************************************************************************************
@@ -230 +230 @@
  * @ returns 0 if success / returns ENOMEM if no memory
  ********************************************************************************************/
-error_t vmm_map_vseg( vseg_t           * vseg,
-                      uint32_t           attr );
+error_t vmm_map_kernel_vseg( vseg_t           * vseg,
+                             uint32_t           attr );
 
 /*********************************************************************************************
@@ -312 +312 @@
 /*********************************************************************************************
  * This function makes the virtual to physical address translation, using the calling
- * process page table. It uses identity mapping if required by the ident flag.
+ * process page table. It uses identity mapping if required by the <ident> argument.
  * This address translation is required to configure the peripherals having a DMA
  * capability, or to implement the software L2/L3 cache cohérence, using the MMC device