Searched refs:banner_name (Results 1 – 3 of 3) sorted by relevance
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()