btdev_t
devboot(btdev_t dev, char *p)
btdev_t bootdev;
extern btdev_t bootdev;
void devboot(btdev_t, char *);