diff --git a/src/arch/x86/process.hh b/src/arch/x86/process.hh
--- a/src/arch/x86/process.hh
+++ b/src/arch/x86/process.hh
@@ -70,7 +70,7 @@
 
         template<class IntType>
         void argsInit(int pageSize,
-                std::vector<AuxVector<IntType> > extraAuxvs);
+                      std::vector<AuxVector<IntType> > extraAuxvs);
 
       public:
         Addr gdtStart()
@@ -130,7 +130,7 @@
         VSyscallPage vsyscallPage;
 
       public:
-        void argsInit(int intSize, int pageSize);
+        void argsInit(int pageSize);
         void initState();
 
         X86ISA::IntReg getSyscallArg(ThreadContext *tc, int &i);
@@ -172,7 +172,7 @@
         VSyscallPage vsyscallPage;
 
       public:
-        void argsInit(int intSize, int pageSize);
+        void argsInit(int pageSize);
         void initState();
 
         void syscall(int64_t callnum, ThreadContext *tc, Fault *fault);
# Node ID 15f4547c339bbbbb46c745267748f5a3ecf4d0b1
# Parent  8de6353205580ad7dc82591fef59a9aa2919e000
diff --git a/src/arch/x86/process.cc b/src/arch/x86/process.cc
--- a/src/arch/x86/process.cc
+++ b/src/arch/x86/process.cc
@@ -181,7 +181,7 @@
 {
     X86Process::initState();
 
-    argsInit(sizeof(uint64_t), PageBytes);
+    argsInit(PageBytes);
 
     // Set up the vsyscall page for this process.
     allocateMem(vsyscallPage.base, vsyscallPage.size);
@@ -625,7 +625,7 @@
 {
     X86Process::initState();
 
-    argsInit(sizeof(uint32_t), PageBytes);
+    argsInit(PageBytes);
 
     /*
      * Set up a GDT for this process. The whole GDT wouldn't really be for
@@ -742,7 +742,7 @@
 template<class IntType>
 void
 X86Process::argsInit(int pageSize,
-        std::vector<AuxVector<IntType> > extraAuxvs)
+                     std::vector<AuxVector<IntType> > extraAuxvs)
 {
     int intSize = sizeof(IntType);
 
@@ -1032,7 +1032,7 @@
 }
 
 void
-X86_64Process::argsInit(int intSize, int pageSize)
+X86_64Process::argsInit(int pageSize)
 {
     std::vector<AuxVector<uint64_t> > extraAuxvs;
     extraAuxvs.push_back(AuxVector<uint64_t>(M5_AT_SYSINFO_EHDR,
@@ -1041,7 +1041,7 @@
 }
 
 void
-I386Process::argsInit(int intSize, int pageSize)
+I386Process::argsInit(int pageSize)
 {
     std::vector<AuxVector<uint32_t> > extraAuxvs;
     //Tell the binary where the vsyscall part of the vsyscall page is.