Symbol: ka53_mchk
sys/arch/vax/vax/ka53.c
51
static int ka53_mchk(void *);
sys/arch/vax/vax/ka53.c
65
.cpu_mchk = ka53_mchk,