Searched refs:efi_getdev (Results 1 – 3 of 3) sorted by relevance
36 int efi_getdev(void **vdev, const char *devspec, const char **path);
47 efi_getdev(void **vdev, const char *devspec, const char **path) in efi_getdev() function
153 archsw.arch_getdev = efi_getdev; in main()