Searched refs:tmp_range (Results 1 – 2 of 2) sorted by relevance
2445 const char *tmp_range = nextarg; in getparameter() local2446 while(*tmp_range != '\0') { in getparameter()2447 if(!ISDIGIT(*tmp_range) && *tmp_range != '-' && *tmp_range != ',') { in getparameter()2454 tmp_range++; in getparameter()
1063 mls_range_t tmp_range; in user_copy_callback() local1066 if (mls_semantic_range_expand(&user->range, &tmp_range, in user_copy_callback()1072 mls_range_destroy(&tmp_range); in user_copy_callback()1075 if (!mls_range_eq(&new_user->exp_range, &tmp_range) || in user_copy_callback()1077 mls_range_destroy(&tmp_range); in user_copy_callback()1081 mls_range_destroy(&tmp_range); in user_copy_callback()