Symbol: ka650_reboot
sys/arch/vax/vax/ka650.c
65
static void ka650_reboot(int);
sys/arch/vax/vax/ka650.c
82
.cpu_reboot = ka650_reboot,