Symbol: devboot
sys/arch/hppa/stand/boot/boot.c
123
devboot(boot_dev, devname_buffer);
sys/arch/hppa/stand/cdboot/cdboot.c
96
devboot(boot_dev, path);
sys/arch/hppa/stand/common/libsa.h
76
void devboot(btdev_t, char *);