290,296d289
< static inline Fault
< genMachineCheckFault()
< {
< return new InternalProcessorError;
< }
<
<