Changeset 315 for trunk/kernel/mm/ppm.h

Timestamp:

Aug 3, 2017, 10:15:18 AM (7 years ago)

Author:

alain

Message:

Redefine the fuctions ppm_base2page() / ppm_page2base() / ppm_page2ppn() / ppm_ppn2page() / ppm_base2ppn() / ppm_ppn2base(),
to use explicitely extended pointers.

File:

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

trunk/kernel/mm/ppm.h

@@ -106 +106 @@
 inline bool_t ppm_page_is_valid( page_t * page );
 
-/*****************************************************************************************
- * Get the page virtual address from the page descriptor pointer.
- *****************************************************************************************
- * @ page         : pointer to page descriptor
- * @ returns virtual address of page itself.
- ****************************************************************************************/
-inline void* ppm_page2vaddr( page_t * page );
+
 
 /*****************************************************************************************
- * Get the page descriptor pointer from the page virtual address.
+ * Get extended pointer on page base from extended pointer on page descriptor.
  *****************************************************************************************
- * @ vaddr        : page virtual address
- * @ returns pointer on page descriptor
+ * @ page_xp    : extended pointer to page descriptor
+ * @ returns extended pointer on page base.
  ****************************************************************************************/
-inline page_t * ppm_vaddr2page( void * vaddr );
+inline xptr_t ppm_page2base( xptr_t page_xp );
+
+/*****************************************************************************************
+ * Get extended pointer on page descriptor from extended pointer on page base.
+ *****************************************************************************************
+ * @ base_xp   : extended pointer to page base.
+ * @ returns extended pointer on page descriptor
+ ****************************************************************************************/
+inline xptr_t ppm_base2page( xptr_t base_xp );
+
+
+
+/*****************************************************************************************
+ * Get extended pointer on page base from Global PPN.
+ *****************************************************************************************
+ * @ ppn    : global physical page number.
+ * @ returns extended pointer on page base.
+ ****************************************************************************************/
+inline xptr_t ppm_ppn2base( ppn_t ppn );
+
+/*****************************************************************************************
+ * Get global PPN from extended pointer on page base.
+ *****************************************************************************************
+ * @ base_xp   : extended pointer to page base.
+ * @ returns global physical page number.
+ ****************************************************************************************/
+inline ppn_t ppm_base2ppn( xptr_t base_xp );
+
+
+
+/*****************************************************************************************
+ * Get global PPN from extended pointer on page descriptor.
+ *****************************************************************************************
+ * @ page_xp   : pointer to page descriptor
+ * @ returns global physical page number.
+ ****************************************************************************************/
+inline ppn_t ppm_page2ppn( xptr_t page_xp );
+
+/*****************************************************************************************
+ * Get extended pointer on page descriptor from global PPN.
+ *****************************************************************************************
+ * @ ppn       : global physical page number
+ * @ returns extended pointer on page descriptor.
+ ****************************************************************************************/
+inline xptr_t ppm_ppn2page( ppn_t ppn );
+
+
 
 /*****************************************************************************************