Symbol: ka630_reboot
sys/arch/vax/vax/ka630.c
55
static void ka630_reboot(int);
sys/arch/vax/vax/ka630.c
69
.cpu_reboot = ka630_reboot,