Symbol: ka680_mchk
sys/arch/vax/vax/ka680.c
55
static int ka680_mchk(void *);
sys/arch/vax/vax/ka680.c
88
.cpu_mchk = ka680_mchk,