Symbol: ka86_mchk
sys/arch/vax/vax/ka860.c
62
static int ka86_mchk(void *);
sys/arch/vax/vax/ka860.c
74
.cpu_mchk = ka86_mchk,