Symbol: set_default_device
sys/stand/efiboot/boot.c
225
set_default_device(arg);
sys/stand/efiboot/efiblock.c
539
set_default_device(devname);
sys/stand/efiboot/efiboot.h
57
int set_default_device(const char *);
sys/stand/efiboot/efinet.c
410
set_default_device(devname);