Searched refs:efi_getdev (Results 1 – 3 of 3) sorted by relevance
45 efi_getdev(void **vdev, const char *devspec, const char **path) in efi_getdev() function
85 int efi_getdev(void **vdev, const char *devspec, const char **path);
963 archsw.arch_getdev = efi_getdev; in main()1668 if (efi_getdev((void **)&dev, name, (const char **)&path) == 0) { in command_chain()