Symbol: ka410_mchk
sys/arch/vax/vax/ka410.c
47
static int ka410_mchk(void *);
sys/arch/vax/vax/ka410.c
62
.cpu_mchk = ka410_mchk,