Symbol: ka670_mchk
sys/arch/vax/vax/ka670.c
47
static int ka670_mchk(void *);
sys/arch/vax/vax/ka670.c
53
.cpu_mchk = ka670_mchk,