ArmFreebsdProcess32(ProcessParams * params, ObjectFile *objFile,
                         ObjectFile::Arch _arch);
 
-    void initState();
+    void initState() override;
 
     void syscall(ThreadContext *tc, Fault *fault) override;
 
     /// A page to hold "kernel" provided functions. The name might be wrong.
     static const Addr commPage;
 
-    SyscallDesc* getDesc(int callnum);
+    SyscallDesc* getDesc(int callnum) override;
 };
 
 /// A process with emulated Arm/Freebsd syscalls.
     ArmFreebsdProcess64(ProcessParams * params, ObjectFile *objFile,
                         ObjectFile::Arch _arch);
 
-    void initState();
+    void initState() override;
     void syscall(ThreadContext *tc, Fault *fault) override;
-    SyscallDesc* getDesc(int callnum);
+    SyscallDesc* getDesc(int callnum) override;
 };
 
 #endif // __ARCH_ARM_FREEBSD_PROCESS_HH__
 
     ArmLinuxProcess32(ProcessParams * params, ObjectFile *objFile,
                       ObjectFile::Arch _arch);
 
-    void initState();
+    void initState() override;
 
     void syscall(ThreadContext *tc, Fault *fault) override;
 
     /// A page to hold "kernel" provided functions. The name might be wrong.
     static const Addr commPage;
 
-    SyscallDesc* getDesc(int callnum);
+    SyscallDesc* getDesc(int callnum) override;
 };
 
 /// A process with emulated Arm/Linux syscalls.
     ArmLinuxProcess64(ProcessParams * params, ObjectFile *objFile,
                       ObjectFile::Arch _arch);
 
-    void initState();
+    void initState() override;
     void syscall(ThreadContext *tc, Fault *fault) override;
-    SyscallDesc* getDesc(int callnum);
+    SyscallDesc* getDesc(int callnum) override;
 };
 
 #endif // __ARM_LINUX_PROCESS_HH__