Symbol: ka730_mchk
sys/arch/vax/vax/ka730.c
84
static int ka730_mchk(void *t);
sys/arch/vax/vax/ka730.c
90
.cpu_mchk = ka730_mchk,