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);