Changeset 401 for trunk/hal/generic

Timestamp:

Aug 17, 2017, 3:02:18 PM (7 years ago)

Author:

alain

Message:

Few bugs in VMM

Location:

trunk/hal/generic

Files:

• hal_gpt.h (modified) (2 diffs)
• hal_special.h (modified) (1 diff)

trunk/hal/generic/hal_gpt.h

@@ -48 +48 @@
  ***************************************************************************************/
 
-#define GPT_MAPPED      0x0001  /*! PTE is mapped                                 */
-#define GPT_SMALL       0x0002  /*! PTE is a small page                           */
-#define GPT_READABLE    0x0004  /*! PTE is readable                               */
-#define GPT_WRITABLE    0x0008  /*! PTE is writable                               */
-#define GPT_EXECUTABLE  0x0010  /*! PTE is executable                             */
-#define GPT_CACHABLE    0x0020  /*! PTE can be cached                             */
-#define GPT_USER        0x0040  /*! PTE is user accessible                        */
-#define GPT_DIRTY       0x0080  /*! PTE has been "recently" written               */
-#define GPT_ACCESSED    0x0100  /*! PTE has been "recently" accessed              */
-#define GPT_GLOBAL      0x0200  /*! PTE is kept in TLB at context switch          */
-#define GPT_COW         0x0400  /*! PTE must be copied on write                   */
-#define GPT_SWAP        0x0800  /*! PTE swapped on disk (not implemented yet)     */
-#define GPT_LOCKED      0x1000  /*! PTE is protected against concurrent access    */
+#define GPT_MAPPED      0x0000  /*! PTE is mapped                                 */
+#define GPT_SMALL       0x0001  /*! PTE is a small page                           */
+#define GPT_READABLE    0x0002  /*! PTE is readable                               */
+#define GPT_WRITABLE    0x0004  /*! PTE is writable                               */
+#define GPT_EXECUTABLE  0x0008  /*! PTE is executable                             */
+#define GPT_CACHABLE    0x0010  /*! PTE can be cached                             */
+#define GPT_USER        0x0020  /*! PTE is user accessible                        */
+#define GPT_DIRTY       0x0040  /*! PTE has been "recently" written               */
+#define GPT_ACCESSED    0x0080  /*! PTE has been "recently" accessed              */
+#define GPT_GLOBAL      0x0100  /*! PTE is kept in TLB at context switch          */
+#define GPT_COW         0x0200  /*! PTE must be copied on write                   */
+#define GPT_SWAP        0x0400  /*! PTE swapped on disk (not implemented yet)     */
+#define GPT_LOCKED      0x0800  /*! PTE is protected against concurrent access    */
 
 /****************************************************************************************
@@ -142 +142 @@
 
 /****************************************************************************************
- * This function unmaps a page table entry identified by its VPN.
- * If the calling thread is running in the reference cluster, it sends a broadcast RPC
- * to update all other page table copies.
+ * This function unmaps a page table entry identified by the <vpn> argument in the 
+ * local page table identified by the <gpt> argument.
+ * It does NOT release the physical memory allocated for the unmapped page.
  ****************************************************************************************
- * @ gpt       : [in] pointer on the page table
+ * @ gpt       : [in] pointer on the local page table
  * @ vpn       : [in] virtual page number
  ***************************************************************************************/

trunk/hal/generic/hal_special.h

@@ -118 +118 @@
 
 /*****************************************************************************************
- * This forbids code reordering by the compiler.
+ * This forbids code reordering accross this barrier by the compiler.
  ****************************************************************************************/
 void hal_rdbar();