Symbol: ka43_mchk
sys/arch/vax/vax/ka43.c
47
static int ka43_mchk(void *);
sys/arch/vax/vax/ka43.c
65
.cpu_mchk = ka43_mchk,