sprint_bootsel
char *sprint_bootsel(const char *);
printf("booting %s (howto 0x%x)\n", sprint_bootsel(filename),
printf("boot: %s: %s\n", sprint_bootsel(filename),
sprint_bootsel(names[currname][0]));
printf("multiboot: %s: %s\n", sprint_bootsel(filename),
printf("booting %s", sprint_bootsel(filename));
printf("boot: %s: %s\n", sprint_bootsel(filename),
char *sprint_bootsel(const char *);
static char *sprint_bootsel(const char *);
printf("booting %s (howto 0x%x)\n", sprint_bootsel(filename),
printf("boot: %s: %s\n", sprint_bootsel(filename),
sprint_bootsel(names[currname][0]));
printf("multiboot: %s: %s\n", sprint_bootsel(filename),
printf("booting %s", sprint_bootsel(filename));
printf("boot: %s: %s\n", sprint_bootsel(filename),
sprint_bootsel(names[currname][0]));
char *sprint_bootsel(const char *filename);
sprint_bootsel(names[currname][0]));
printf("booting %s", sprint_bootsel(filename));
printf("boot: %s: %s\n", sprint_bootsel(filename),
char *sprint_bootsel(const char *filename);