Searched refs:boot_src_string (Results 1 – 1 of 1) sorted by relevance
133 char *boot_src_string[] = { variable842 printf("\nInput Boot Source: %s\n", boot_src_string[pblimg.boot_src]); in main()