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