efi_devdesc
struct efi_devdesc *rootdev;
idev = alloc(sizeof(struct efi_devdesc));
struct efi_devdesc *dev = (struct efi_devdesc *)vdev;
struct efi_devdesc *ncurr;
static int efi_parsedev(struct efi_devdesc **dev, const char *devspec, const char **path);
struct efi_devdesc **dev = (struct efi_devdesc **)vdev;
efi_parsedev(struct efi_devdesc **dev, const char *devspec, const char **path)
struct efi_devdesc *idev;
struct efi_devdesc *dev;
dev = va_arg(args, struct efi_devdesc*);
struct efi_devdesc *dev = f->f_devdata;
struct efi_devdesc currdev; /* our current device */