51a52
> #include "base/misc.hh"
219a221,224
> static inline Fault genMachineCheckFault()
> {
> return new Reset();
> }