Searched refs:tmp_range (Results 1 – 2 of 2) sorted by relevance
2029 const char *tmp_range = nextarg; in getparameter() local2030 while(*tmp_range != '\0') { in getparameter()2031 if(!ISDIGIT(*tmp_range) && *tmp_range != '-' && *tmp_range != ',') { in getparameter()2038 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()