1. A method comprising: using processor implementation-specific instructions to save a processor state in a system memory when a machine check error is generated by a processor; attempting to correct the error using processor implementation-specific instructions; transferring control to processor-independent instructions; receiving control from processor-independent instructions; and returning to an interrupted context of the processor by restoring the processor state.