devboot            61 arch/i386/stand/libsa/libsa.h void devboot(dev_t, char *);
devboot            67 stand/boot/boot.c 	devboot(bootdev, cmd.bootdev);