Symbol: ka48_mchk
sys/arch/vax/vax/ka48.c
50
static int ka48_mchk(void *);
sys/arch/vax/vax/ka48.c
64
.cpu_mchk = ka48_mchk,