Symbol: ka6400_mchk
sys/arch/vax/vax/ka6400.c
71
static int ka6400_mchk(void *);
sys/arch/vax/vax/ka6400.c
78
.cpu_mchk = ka6400_mchk,