131,135d130
< static inline Fault genMachineCheckFault()
< {
< return new MachineCheckFault;
< }
<