95,118d94
< #if !FULL_SYSTEM
< //class PageTableFault : public MipsFault
< //{
< //private:
< // Addr vaddr;
< // static FaultName _name;
< // static FaultVect _vect;
< // static FaultStat _count;
< //public:
< // PageTableFault(Addr va)
< // : vaddr(va) {}
< // FaultName name() {return _name;}
< // FaultVect vect() {return _vect;}
< // FaultStat & countStat() {return _count;}
< // void invoke(ThreadContext * tc);
< //};
<
< static inline Fault genPageTableFault(Addr va)
< {
< return new PageTableFault(va);
< }
< #endif
<
<
124,128d99
< static inline Fault genAlignmentFault()
< {
< return new AlignmentFault;
< }
<