Searched refs:efi_fmtdev (Results 1 – 4 of 4) sorted by relevance
174 efi_fmtdev(void *vdev) in efi_fmtdev() function
74 char *efi_fmtdev(void *);
385 getrootmount(efi_fmtdev((void *)rootdev)); in bi_load()
253 devname = efi_fmtdev(currdev); in set_currdev_devdesc()