Symbol: ka86_reboot
sys/arch/vax/vax/ka860.c
63
static void ka86_reboot(int);
sys/arch/vax/vax/ka860.c
81
.cpu_reboot = ka86_reboot,