machine_check
machine_check(mces, framep, type, logout);
machine_check(mces, framep, type, logout);
machine_check(mces, framep, vector, param);
machine_check(mces, framep, vector, logout);
machine_check(mces, framep, vector, logout);
machine_check(mces, framep, vector, logout);
machine_check(mces, framep, vector, param);
machine_check(mces, framep, vector, param);
machine_check(a0, framep, a1, a2);
void machine_check(unsigned long, struct trapframe *, unsigned long,
machine_check(mces, framep, vector, param);