Symbol: ka43_reboot
sys/arch/vax/vax/ka43.c
58
static void ka43_reboot(int);
sys/arch/vax/vax/ka43.c
73
.cpu_reboot = ka43_reboot,