Symbol: set_bootfile
sys/stand/efiboot/boot.c
596
set_bootfile(names[currname]);
sys/stand/efiboot/boot.c
93
int set_bootfile(const char *);