i386_fmtdev
i386_fmtdev(dev), dev->d_kind.biosdisk.unit,
getrootmount(i386_fmtdev(rootdev));
printf("root device %s invalid\n", i386_fmtdev(rootdev));
getrootmount(i386_fmtdev(rootdev));
char *i386_fmtdev(void *vdev);
env_setenv("currdev", EV_VOLATILE, i386_fmtdev(&new_currdev),
env_setenv("loaddev", EV_VOLATILE, i386_fmtdev(&new_currdev), env_noset,