Changeset 41 for trunk/hal

Timestamp:

Jun 22, 2017, 4:05:15 PM (8 years ago)

Author:

max@…

Message:

style

File:

• trunk/hal/generic/hal_gpt.h (modified) (7 diffs)

trunk/hal/generic/hal_gpt.h

@@ -45 +45 @@
 
 /****************************************************************************************
- * These global variables defines the masks for the Generic Page Table Entry attributes.
+ * These global variables define the masks for the Generic Page Table Entry attributes.
  * The actual values must be defined in the implementation (hal_gpt.c file).
  ***************************************************************************************/
 
-extern uint32_t  GPT_MAPPED;         /*! PTE is mapepd                                 */
+extern uint32_t  GPT_MAPPED;         /*! PTE is mapped                                 */
 extern uint32_t  GPT_SMALL;          /*! PTE is a small page                           */
 extern uint32_t  GPT_READABLE;       /*! PTE is readable                               */
@@ -58 +58 @@
 extern uint32_t  GPT_DIRTY;          /*! PTE has been "recently" written               */
 extern uint32_t  GPT_ACCESSED;       /*! PTE has been "recently" accessed              */
-extern uint32_t  GPT_GLOBAL;         /*! PTE is kept in TLB at context swtch           */
+extern uint32_t  GPT_GLOBAL;         /*! PTE is kept in TLB at context switch          */
 extern uint32_t  GPT_COW;            /*! PTE must be copied on write                   */
-extern uint32_t  GPT_SWAP;           /*! PTE swaped on disk (non implemented yet)      */
+extern uint32_t  GPT_SWAP;           /*! PTE swapped on disk (not implemented yet)     */
 extern uint32_t  GPT_LOCKED;         /*! PTE is protected against concurrent access    */
 
 /****************************************************************************************
- * This structure define the Generic Page Table descriptor.
+ * This structure defines the Generic Page Table descriptor.
  ***************************************************************************************/
 
@@ -77 +77 @@
 
 /****************************************************************************************
- * This function allocates physical memory for  first level page table (PT1),
+ * This function allocates physical memory for first level page table (PT1),
  * and initializes the page table descriptor.
  ****************************************************************************************
@@ -89 +89 @@
  * For a multi-levels radix tree implementation, it includes all nodes in the tree.
  * If the calling thread is running in the reference cluster, it checks that user PTE
- * entries are unmapped, and release the mapped physical pages.
+ * entries are unmapped, and releases the mapped physical pages.
  * The kernel pages are not released.
  ****************************************************************************************
@@ -97 +97 @@
 
 /****************************************************************************************
- * This function print on the kernel terminal the content of a generic page table.
+ * This function prints on the kernel terminal the content of a generic page table.
  ****************************************************************************************
  * @ gpt     : pointer on generic page table descriptor.
@@ -104 +104 @@
 
 /****************************************************************************************
- * This blocking function gets a lock on a PTE (page Table Entry) identified
+ * This blocking function gets a lock on a PTE (Page Table Entry) identified
  * by its VPN, and returns only when the PTE has been successfully locked.
  * If the target PTE is not present, it allocates and maps a physical page.
@@ -166 +166 @@
                       uint32_t * attr,
                       ppn_t    * ppn );
+
 /****************************************************************************************
  * This function copies all valid entries from the source <src_gpt> to the <dst_pgt>.