next up previous contents
Next: int rm_get_alloc_names(char *namelist[]); Up: Software Previous: int rm_release_read(void);   Contents


int rm_get_num_alloc(int *np);



2008-06-18