Searched refs:profile_str (Results 1 – 1 of 1) sorted by relevance
133 char *profile_str; in main() local143 profile_str = profile_string(profile); in main()145 printf(" %-32s: %s\n", profile_str, entrypoint_string(entrypoints[entrypoint])); in main()