Symbol: ka88_mchk
sys/arch/vax/vax/ka88.c
63
static int ka88_mchk(void *);
sys/arch/vax/vax/ka88.c
76
.cpu_mchk = ka88_mchk,