Changeset 315 for trunk/kernel/mm/kcm.c

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/kcm.c (modified) (1 diff)

trunk/kernel/mm/kcm.c

@@ -160 +160 @@
 
         // get page base address
-        kcm_page = (kcm_page_t *)ppm_page2vaddr( page );
+        xptr_t base_xp = ppm_page2base( XPTR( local_cxy , page ) );
+        kcm_page = (kcm_page_t *)GET_PTR( base_xp );
 
         // initialize KCM-page descriptor