Symbol: booted_hp
sys/arch/vax/vax/autoconf.c
218
static int booted_hp(device_t, void *);
sys/arch/vax/vax/autoconf.c
241
booted_hp,