Searched refs:banner_name (Results 1 – 4 of 4) sorted by relevance
269 char *banner_name; in display_platform_banner() local285 &banner_name); in display_platform_banner()288 log_printf(" %s", banner_name, 0); in display_platform_banner()289 free(banner_name); in display_platform_banner()
731 char *banner_name; in display_platform_banner() local746 &banner_name); in display_platform_banner()749 log_printf(" %s", banner_name); in display_platform_banner()750 free(banner_name); in display_platform_banner()
768 char *banner_name; in display_platform_banner() local783 &banner_name); in display_platform_banner()786 log_printf(" %s", banner_name); in display_platform_banner()787 free(banner_name); in display_platform_banner()
763 char *banner_name; in display_platform_banner() local778 &banner_name); in display_platform_banner()781 log_printf(" %s", banner_name); in display_platform_banner()782 free(banner_name); in display_platform_banner()