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