Changeset 53 for trunk/kernel/kern

Timestamp:

Jun 26, 2017, 4:22:00 PM (8 years ago)

Author:

alain

Message:

Compilation OK pout TSAR

File:

• trunk/kernel/kern/thread.c (modified) (3 diffs)

trunk/kernel/kern/thread.c

@@ -84 +84 @@
     // return pointer on new thread descriptor
         if( page == NULL ) return NULL;
-    else               return (thread_t *)ppm_page2base( page );
+    else               return (thread_t *)ppm_page2vaddr( page );
 }  
 
 /////////////////////////////////////////////////////////////////////////////////////
 // This static function releases the physical memory for a thread descriptor.
-// It can be called by the three functions:
+// It is called by the three functions:
 // - thread_user_create()
 // - thread_user_fork()
@@ -101 +101 @@
 
     req.type  = KMEM_PAGE;
-    req.ptr   = ppm_base2page( thread );
+    req.ptr   = ppm_vaddr2page( thread );
     kmem_free( &req );
 }
@@ -442 +442 @@
     {
             req.type  = KMEM_PAGE;
-        req.ptr   = ppm_base2page( thread );
+        req.ptr   = ppm_vaddr2page( thread );
         kmem_free( &req );
         return EINVAL;