Changeset 625 for trunk/hal/generic/hal_gpt.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_gpt.h (modified) (2 diffs)

trunk/hal/generic/hal_gpt.h

@@ -167 +167 @@
 
 /****************************************************************************************
- * This function is used to implement the "fork" system call: It copies one GPT entry
- * identified by the <vpn> argument, from a remote <src_gpt_xp> to a local <dst_gpt>. 
+ * This function is used to implement the "fork" system call: It copies a remote 
+ * source PTE, identified by the <src_gpt_xp> and <src_vpn> arguments, to a local
+ * destination PTE, identified by the <dst_gpt> and <dst_vpn> arguments.
  * It does nothing if the source PTE is not MAPPED and SMALL.
  * It optionnally activates the "Copy on Write" mechanism: when the <cow> argument is
  * true: the GPT_WRITABLE flag is reset, and the GPT_COW flag is set.
- * A new second level PT2(s) is allocated for destination GPT if required.
+ * A new second level PT2 is allocated for the destination GPT if required.
  * It returns in the <ppn> and <mapped> arguments the PPN value for the copied PTE,
  * and a boolean indicating if the PTE is mapped and small, and was actually copied.
  ****************************************************************************************
- * @ dst_gpt      : [in]  local pointer on the local destination GPT.
- * @ src_gpt_xp   : [in]  extended pointer on the remote source GPT.
- * @ vpn_base     : [in]  vpn defining the PTE to be copied.
+ * @ dst_gpt      : [in]  local pointer on local destination GPT.
+ * @ dst_vpn      : [in]  vpn defining the PTE in the desination GPT.
+ * @ src_gpt_xp   : [in]  extended pointer on remote source GPT.
+ * @ src_vpn      : [in]  vpn defining the PTE in the source GPT.
  * @ cow          : [in]  activate the COPY-On-Write mechanism if true.
  * @ ppn          : [out] PPN value (only if mapped is true).
@@ -185 +187 @@
  ***************************************************************************************/
 error_t hal_gpt_pte_copy( gpt_t    * dst_gpt,
+                          vpn_t      dst_vpn,
                           xptr_t     src_gpt_xp,
-                          vpn_t      vpn,
+                          vpn_t      src_vpn,
                           bool_t     cow,
                           ppn_t    * ppn,