Changeset 476

Timestamp:

Dec 29, 2014, 12:02:04 AM (9 years ago)

Author:

alain

Message:

Change the return type of _v2p_translate to void.

Location:

soft/giet_vm/giet_common

Files:

• vmem.c (modified) (2 diffs)
• vmem.h (modified) (1 diff)

soft/giet_vm/giet_common/vmem.c

@@ -12 +12 @@
 
 //////////////////////////////////////////////////
-unsigned int _v2p_translate( page_table_t*  ptab,
-                             unsigned int   vpn,
-                             unsigned int*  ppn,
-                             unsigned int*  flags ) 
+void _v2p_translate( page_table_t*  ptab,
+                     unsigned int   vpn,
+                     unsigned int*  ppn,
+                     unsigned int*  flags ) 
 {
     unsigned long long ptba;
@@ -91 +91 @@
         }
     }
-    return 0;
 } // end _v2p_translate()
 

soft/giet_vm/giet_common/vmem.h

@@ -80 +80 @@
 // Return 0 if success. Return 1 if PTE1 or PTE2 unmapped.
 ///////////////////////////////////////////////////////////////////////////////////
-unsigned int _v2p_translate( page_table_t* pt, 
-                             unsigned int  vpn, 
-                             unsigned int* ppn, 
-                             unsigned int* flags );
+void _v2p_translate( page_table_t* pt, 
+                     unsigned int  vpn, 
+                     unsigned int* ppn, 
+                     unsigned int* flags );
 
 #endif