Symbol: ka410_reboot
sys/arch/vax/vax/ka410.c
49
static void ka410_reboot(int);
sys/arch/vax/vax/ka410.c
70
.cpu_reboot = ka410_reboot,