Searched refs:efi_getdev (Results 1 – 4 of 4) sorted by relevance
58 extern int efi_getdev(void **vdev, const char *devspec, const char **path);
52 efi_getdev(void **vdev, const char *devspec, const char **path) in efi_getdev() function
234 efi_getdev((void **)(&rootdev), rootdevname, NULL); in bi_load()
176 archsw.arch_getdev = efi_getdev; in main()