87,91d86
< static inline Fault genMachineCheckFault()
< {
< return new MachineCheckFault;
< }
<