diff --git a/src/arch/x86/process.cc b/src/arch/x86/process.cc
index c1e4f710a..35ea70430 100644
--- a/src/arch/x86/process.cc
+++ b/src/arch/x86/process.cc
@@ -188,7 +188,7 @@ X86_64Process::initState()
 {
     X86Process::initState();
 
-    argsInit(sizeof(uint64_t), PageBytes);
+    argsInit(PageBytes);
 
        // Set up the vsyscall page for this process.
     allocateMem(vsyscallPage.base, vsyscallPage.size);
@@ -632,7 +632,7 @@ I386Process::initState()
 {
     X86Process::initState();
 
-    argsInit(sizeof(uint32_t), PageBytes);
+    argsInit(PageBytes);
 
     /*
      * Set up a GDT for this process. The whole GDT wouldn't really be for
@@ -749,7 +749,7 @@ I386Process::initState()
 template<class IntType>
 void
 X86Process::argsInit(int pageSize,
-        std::vector<AuxVector<IntType> > extraAuxvs)
+                     std::vector<AuxVector<IntType> > extraAuxvs)
 {
     int intSize = sizeof(IntType);
 
@@ -1034,7 +1034,7 @@ X86Process::argsInit(int pageSize,
 }
 
 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,
@@ -1043,7 +1043,7 @@ X86_64Process::argsInit(int intSize, int pageSize)
 }
 
 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.
diff --git a/src/arch/x86/process.hh b/src/arch/x86/process.hh
index ef0329329..9e3fafbdd 100644
--- a/src/arch/x86/process.hh
+++ b/src/arch/x86/process.hh
@@ -70,7 +70,7 @@ namespace X86ISA
 
         template<class IntType>
         void argsInit(int pageSize,
-                std::vector<AuxVector<IntType> > extraAuxvs);
+                      std::vector<AuxVector<IntType> > extraAuxvs);
 
       public:
         Addr gdtStart()
@@ -101,7 +101,7 @@ namespace X86ISA
         VSyscallPage vsyscallPage;
 
       public:
-        void argsInit(int intSize, int pageSize);
+        void argsInit(int pageSize);
         void initState();
 
         X86ISA::IntReg getSyscallArg(ThreadContext *tc, int &i);
@@ -127,7 +127,7 @@ namespace X86ISA
         VSyscallPage vsyscallPage;
 
       public:
-        void argsInit(int intSize, int pageSize);
+        void argsInit(int pageSize);
         void initState();
 
         void syscall(int64_t callnum, ThreadContext *tc, Fault *fault);