Changeset 313 for trunk/hal/tsar_mips32/core/hal_ppm.c

Timestamp:

Aug 2, 2017, 3:24:57 PM (7 years ago)

Author:

alain

Message:

RSeveral modifs in the page-fault handling.

File:

• trunk/hal/tsar_mips32/core/hal_ppm.c (modified) (2 diffs)

trunk/hal/tsar_mips32/core/hal_ppm.c

@@ -35 +35 @@
 
 //////////////////////////////////////////////////////////////////////////////////////////
-// This file contains the TSAR specific code for cores registers,
-// and for physical memory allocators initialisation in a given cluster.
-
+// This file contains the TSAR specific code for :
+// - cores registers initialisation,
+// - memory allocators initialisation.
+//
 // For The TSAR architecture, the kernel pointers are identity mapped:
 // - the 32 bits PTR value is identical to the 32 bits LPA value,
@@ -133 +134 @@
 
 }  // end hal_core_init()
+
+///////////////////////////////////////////
+inline ppn_t hal_page2ppn( xptr_t page_xp )
+{
+        ppm_t  * ppm      = &LOCAL_CLUSTER->ppm;
+
+    cxy_t    page_cxy = GET_CXY( page_xp );
+    page_t * page_ptr = (page_t *)GET_PTR( page_xp );
+
+    return (ppn_t)(page_ptr - ppm->pages_tbl) | (ppn_t)(page_cxy << 20);
+
+}  // end hal_page2ppn()
+
+////////////////////////////////////////
+inline xptr_t  hal_ppn2page( ppn_t ppn )
+{
+        ppm_t  * ppm      = &LOCAL_CLUSTER->ppm;
+
+    cxy_t    page_cxy = (ppn & 0xFFF00000) >> 20;
+    page_t * page_ptr = &ppm->pages_tbl[ppn & 0x000FFFFF];
+
+    return XPTR( page_xy , page_ptr );
+
+}  // end hal_ppn2page
+
+