efi_fmtdev
char *efi_fmtdev(void *);
getrootmount(efi_fmtdev((void *)rootdev));
devname = efi_fmtdev(currdev);