efi_devdesc
struct efi_devdesc *dev = machdep_hint;
struct efi_devdesc *dev;
dev = va_arg(args, struct efi_devdesc*);
struct efi_devdesc *dev;
dev = (struct efi_devdesc *)(f->f_devdata);
struct efi_devdesc *dev = (struct efi_devdesc *)devdata;
idev = malloc(sizeof(struct efi_devdesc));
struct efi_devdesc *dev = (struct efi_devdesc *)vdev;
struct efi_devdesc *ncurr;
static int efi_parsedev(struct efi_devdesc **, const char *, const char **);
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 currdev;