Symbol: ka48_reboot
sys/arch/vax/vax/ka48.c
52
static void ka48_reboot(int);
sys/arch/vax/vax/ka48.c
72
.cpu_reboot = ka48_reboot,