kn8ae_mcheck
void kn8ae_mcheck(unsigned long, unsigned long,
kn8ae_mcheck(mces, vector, param, framep);