Symbol: ka610_reboot
sys/arch/vax/vax/ka610.c
44
static void ka610_reboot(int);
sys/arch/vax/vax/ka610.c
59
.cpu_reboot = ka610_reboot,