efi_getdev
int efi_getdev(void **vdev, const char *devspec, const char **path);
if (efi_getdev((void **)&dev, name, (const char **)&path) == 0) {
.arch_getdev = efi_getdev,