Symbol: ka43_halt
sys/arch/vax/vax/ka43.c
57
static void ka43_halt(void);
sys/arch/vax/vax/ka43.c
72
.cpu_halt = ka43_halt,