Changeset 315 for trunk/kernel/mm/page.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/page.c (modified) (2 diffs)

trunk/kernel/mm/page.c

@@ -232 +232 @@
 }
 
-//////////////////////////////
-void page_copy(  page_t * dst,
-                 page_t * src )
-{
-        uint32_t  size;
-        void    * src_base;
-        void    * dst_base;
-
-        assert( (dst->order == src->order) , __FUNCTION__ , "src size != dst size\n" );
-
-        size = (1 << dst->order) * CONFIG_PPM_PAGE_SIZE;
-        src_base = ppm_page2vaddr( src );
-        dst_base = ppm_page2vaddr( dst );
-
-        memcpy( dst_base , src_base , size );
-}
-
 ///////////////////////////////
 void page_zero( page_t * page )
 {
-        uint32_t   size;
-        void     * base;
-
-        size = (1 << page->order) * CONFIG_PPM_PAGE_SIZE;
-        base = ppm_page2vaddr( page );
-
-        memset( base , 0 , size );
+        uint32_t   size = (1 << page->order) * CONFIG_PPM_PAGE_SIZE;
+
+        xptr_t base_xp = ppm_page2base( XPTR( local_cxy , page ) );
+
+        memset( GET_PTR( base_xp ) , 0 , size );
 }
 
@@ -266 +247 @@
         printk("*** Page %d : base = %x / flags = %x / order = %d / count = %d\n",
                 page->index,
-                ppm_page2vaddr( page ),
+                GET_PTR( ppm_page2base( XPTR( local_cxy , page ) ) ),
                 page->flags,
                 page->order,