87a88,92
> static inline Fault genMachineCheckFault()
> {
> return new MachineCheckFault;
> }
>
109,113d113
< static inline Fault genMachineCheckFault()
< {
< return new MachineCheckFault;
< }
<