Symbol: hwrpb_restart_setup
sys/arch/alpha/alpha/autoconf.c
104
hwrpb_restart_setup();
sys/arch/alpha/include/cpu.h
144
void hwrpb_restart_setup(void);
sys/arch/alpha/include/prom.h
59
void hwrpb_restart_setup(void);