diff --git a/base-hw/src/core/kernel/thread.cc b/base-hw/src/core/kernel/thread.cc
index d57d5d6b6..88deeb9d6 100644
--- a/base-hw/src/core/kernel/thread.cc
+++ b/base-hw/src/core/kernel/thread.cc
@@ -222,7 +222,7 @@ void Thread::exception(unsigned const processor_id)
 {
 	switch (cpu_exception) {
 	case SUPERVISOR_CALL:
-		_call(processor_id);
+		_call();
 		return;
 	case PREFETCH_ABORT:
 		_mmu_exception();
@@ -875,7 +875,7 @@ int Thread::_write_reg(addr_t const id, addr_t const value)
 }
 
 
-void Thread::_call(unsigned const processor_id)
+void Thread::_call()
 {
 	/* switch over unrestricted kernel calls */
 	unsigned const call_id = user_arg_0();
diff --git a/base-hw/src/core/kernel/thread.h b/base-hw/src/core/kernel/thread.h
index 40ee23f97..b88c02e75 100644
--- a/base-hw/src/core/kernel/thread.h
+++ b/base-hw/src/core/kernel/thread.h
@@ -165,10 +165,8 @@ class Kernel::Thread
 
 		/**
 		 * Handle kernel-call request of the thread
-		 *
-		 * \param processor_id  kernel name of the trapped processor
 		 */
-		void _call(unsigned const processor_id);
+		void _call();
 
 		/**
 		 * Read a thread register