Changeset 476 for soft/giet_vm/giet_common/vmem.h

Timestamp:

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

Author:

alain

Message:

Change the return type of _v2p_translate to void.

File:

• soft/giet_vm/giet_common/vmem.h (modified) (1 diff)

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