| 39 | | |
| 40 | | ///////////////////////////////////////////////////////////////////////////// |
| 41 | | // This function writes in vobj_vbase the virtual base address of a vobj |
| 42 | | // identified by the (vspace_name / vobj_name ) couple. |
| 43 | | // returns 0 if success, >0 if not found |
| 44 | | ///////////////////////////////////////////////////////////////////////////// |
| 45 | | unsigned int _vobj_get_vbase( char* vspace_name, |
| 46 | | char* vobj_name, |
| 47 | | unsigned int* vobj_vbase ); |
| 48 | | |
| 49 | | ///////////////////////////////////////////////////////////////////////////// |
| 50 | | // This function writes in vobj_length the length of a vobj |
| 51 | | // identified by the (vspace_name / vobj_name ) couple. |
| 52 | | // returns 0 if success, >0 if not found |
| 53 | | ///////////////////////////////////////////////////////////////////////////// |
| 54 | | unsigned int _vobj_get_length( char* vspace_name, |
| 55 | | char* vobj_name, |
| 56 | | unsigned int* vobj_length ); |
| | 43 | === unsigned int _vobj_get_length( char* vspace_name, char* vobj_name, unsigned int* vobj_length ) === |
| | 44 | This function writes in vobj_length the length of a vobj identified by the (vspace_name / vobj_name ) couple. |
| | 45 | Returns 0 if success, >0 if not found |