i386_fmtdev
getrootmount(i386_fmtdev(rootdev));
getrootmount(i386_fmtdev((void *)rootdev));
printf("root device %s invalid\n", i386_fmtdev(rootdev));
getrootmount(i386_fmtdev((void *)rootdev));
char *i386_fmtdev(void *vdev);
env_setenv("currdev", EV_VOLATILE, i386_fmtdev(&new_currdev),
env_setenv("loaddev", EV_VOLATILE, i386_fmtdev(&new_currdev),