128c128,140
< class SupervisorCall : public ArmFault<SupervisorCall> {};
---
> class SupervisorCall : public ArmFault<SupervisorCall>
> {
> #if !FULL_SYSTEM
> protected:
> ExtMachInst machInst;
>
> public:
> SupervisorCall(ExtMachInst _machInst) : machInst(_machInst)
> {}
>
> void invoke(ThreadContext *tc);
> #endif
> };