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

Timestamp:

Aug 17, 2017, 11:48:49 AM (7 years ago)

Author:

alain

Message:

cosmetic

File:

• trunk/kernel/mm/vmm.h (modified) (1 diff)

trunk/kernel/mm/vmm.h

@@ -263 +263 @@
 /*********************************************************************************************
  * This function checks that a given virtual address is contained in a registered vseg.
- * - if the vseg is registered in local process VMM, it returns the local vseg pointer.
+ * It can be called by any thread running in any cluster:
+ * - if the vseg is registered in the local process VMM, it returns the local vseg pointer.
  * - if the vseg is missing in local VMM, it uses a RPC to get it from the reference cluster,
  *   register it in local VMM and returns the local vseg pointer, if success.