cpu_machine_check
int cpu_machine_check(struct thread *, struct trapframe *, int *);
sig = cpu_machine_check(td, frame, &ucode);