machine_check.c revision 25842572
1