64c64
< FaultName name() {return _name;}
---
> FaultName name() const {return _name;}
67c67
< bool isMachineCheckFault() {return true;}
---
> bool isMachineCheckFault() const {return true;}
77c77
< FaultName name() {return _name;}
---
> FaultName name() const {return _name;}
80c80
< bool isAlignmentFault() {return true;}
---
> bool isAlignmentFault() const {return true;}
90c90
< FaultName name() {return _name;}
---
> FaultName name() const {return _name;}
136c136
< FaultName name() {return _name;}
---
> FaultName name() const {return _name;}
149c149
< FaultName name() {return _name;}
---
> FaultName name() const {return _name;}
162c162
< FaultName name() {return _name;}
---
> FaultName name() const {return _name;}
175c175
< FaultName name() {return _name;}
---
> FaultName name() const {return _name;}
191c191
< FaultName name() {return _name;}
---
> FaultName name() const {return _name;}
208c208
< FaultName name() {return _name;}
---
> FaultName name() const {return _name;}
220c220
< FaultName name() {return _name;}
---
> FaultName name() const {return _name;}
232c232
< FaultName name() {return _name;}
---
> FaultName name() const {return _name;}
244c244
< FaultName name() {return _name;}
---
> FaultName name() const {return _name;}
256c256
< FaultName name() {return _name;}
---
> FaultName name() const {return _name;}
268c268
< FaultName name() {return _name;}
---
> FaultName name() const {return _name;}
280c280
< FaultName name() {return _name;}
---
> FaultName name() const {return _name;}
292c292
< FaultName name() {return _name;}
---
> FaultName name() const {return _name;}
304c304
< FaultName name() {return _name;}
---
> FaultName name() const {return _name;}
316c316
< FaultName name() {return _name;}
---
> FaultName name() const {return _name;}
328c328
< FaultName name() {return _name;}
---
> FaultName name() const {return _name;}