Symbol: set_currdev
usr/src/boot/efi/loader/main.c
229
set_currdev(const char *devname)
usr/src/boot/userboot/userboot/main.c
219
set_currdev(const char *devname)