Symbol: set_currdev
usr/src/boot/efi/loader/main.c
253
set_currdev(devname);
usr/src/boot/efi/loader/main.c
323
set_currdev(bootonce);
usr/src/boot/userboot/userboot/main.c
268
set_currdev(userboot_fmtdev(dd));
usr/src/boot/userboot/userboot/main.c
275
set_currdev(buf);