Symbol: ka750_mchk
sys/arch/vax/vax/ka750.c
82
static int ka750_mchk(void *);
sys/arch/vax/vax/ka750.c
88
.cpu_mchk = ka750_mchk,