parse_bootfile
return (parse_bootfile(buf));
static char *parse_bootfile(char *);
char *kernel = parse_bootfile(*ba->v2_bootargs);