Symbol: ka780_mchk
sys/arch/vax/vax/ka780.c
112
.cpu_mchk = ka780_mchk,
sys/arch/vax/vax/ka780.c
54
static int ka780_mchk(void *);