userboot_fmtdev
(void) getrootmount(userboot_fmtdev((void *)rootdev));
char *userboot_fmtdev(void *vdev);
set_currdev(userboot_fmtdev(dd));