kboot_getdev
int kboot_getdev(void **vdev, const char *devspec, const char **path);
.arch_getdev = kboot_getdev,