Searched refs:set_bootfile (Results 1 – 1 of 1) sorted by relevance
93 int set_bootfile(const char *);549 set_bootfile(const char *arg) in set_bootfile() function596 set_bootfile(names[currname]); in boot()