Index: /soft/giet_vm/giet_common/vmem.c
===================================================================
--- /soft/giet_vm/giet_common/vmem.c	(revision 475)
+++ /soft/giet_vm/giet_common/vmem.c	(revision 476)
@@ -12,8 +12,8 @@
 
 //////////////////////////////////////////////////
-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,5 +91,4 @@
         }
     }
-    return 0;
 } // end _v2p_translate()
 
Index: /soft/giet_vm/giet_common/vmem.h
===================================================================
--- /soft/giet_vm/giet_common/vmem.h	(revision 475)
+++ /soft/giet_vm/giet_common/vmem.h	(revision 476)
@@ -80,8 +80,8 @@
 // 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