Symbol: efi_fmtdev
usr/src/boot/efi/include/efilib.h
107
char *efi_fmtdev(void *);
usr/src/boot/efi/loader/bootinfo.c
385
getrootmount(efi_fmtdev((void *)rootdev));
usr/src/boot/efi/loader/main.c
250
devname = efi_fmtdev(currdev);