Searched refs:tmp_range (Results 1 – 2 of 2) sorted by relevance
1977 char *tmp_range; in getparameter() local1978 tmp_range = nextarg; in getparameter()1979 while(*tmp_range != '\0') { in getparameter()1980 if(!ISDIGIT(*tmp_range) && *tmp_range != '-' && *tmp_range != ',') { in getparameter()1987 tmp_range++; in getparameter()
1024 mls_range_t tmp_range; in user_copy_callback() local1027 if (mls_semantic_range_expand(&user->range, &tmp_range, in user_copy_callback()1033 mls_range_destroy(&tmp_range); in user_copy_callback()1036 if (!mls_range_eq(&new_user->exp_range, &tmp_range) || in user_copy_callback()1038 mls_range_destroy(&tmp_range); in user_copy_callback()1042 mls_range_destroy(&tmp_range); in user_copy_callback()