Changeset 640 for trunk/hal/generic

Timestamp:

Oct 1, 2019, 1:19:00 PM (5 years ago)

Author:

alain

Message:

Remove all RPCs in page-fault handling.

File:

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

trunk/hal/generic/hal_gpt.h

@@ -2 +2 @@
  * hal_gpt.h - Generic Page Table API definition.
  *
- * Authors  Alain Greiner (2016)
+ * Authors  Alain Greiner (2016,2017,2018,2019)
  *
  * Copyright (c) UPMC Sorbonne Universites
@@ -69 +69 @@
 typedef struct gpt_s
 {
-        void           * ptr;    /*! local pointer on GPT root                             */
-        ppn_t            ppn;    /*! PPN of GPT root                                       */
+        void       * ptr;               /*! local pointer on GPT root                      */
+    uint32_t     pte1_wait_events;  /*! total number of pte1 wait events on this gpt   */
+    uint32_t     pte1_wait_iters;   /*! total number of iterations in all pte1 wait    */
+    uint32_t     pte2_wait_events;  /*! total number of pte2 wait events on this gpt   */
+    uint32_t     pte2_wait_iters;   /*! total number of iterations in all pte2 wait    */
 }
 gpt_t;
@@ -87 +90 @@
  * This function releases all memory dynamically allocated for a generic page table.
  * For a multi-levels radix tree implementation, it includes all nodes in the tree.
+ * All GPT entries are supposed to be previously unmapped.
  ****************************************************************************************
  * @ gpt     : pointer on generic page table descriptor.