245,249d244
< static inline Fault genMachineCheckFault()
< {
< return new Reset();
< }
<