diff --git a/kernel/src/kernel.rs b/kernel/src/kernel.rs
index 3fc6923164..e4fe0a7738 100644
--- a/kernel/src/kernel.rs
+++ b/kernel/src/kernel.rs
@@ -759,7 +759,6 @@ impl Kernel {
                 which: _,
                 param1: _,
                 param2: _,
-                param3: _,
             } => {} // Yield is not filterable.
             Syscall::Exit {
                 which: _,
@@ -808,7 +807,6 @@ impl Kernel {
                 which,
                 param1,
                 param2,
-                param3: _,
             } => {
                 if config::CONFIG.trace_syscalls {
                     debug!("[{:?}] yield. which: {}", process.processid(), which);
diff --git a/kernel/src/syscall.rs b/kernel/src/syscall.rs
index 5b58cef9e9..f5500a366a 100644
--- a/kernel/src/syscall.rs
+++ b/kernel/src/syscall.rs
@@ -101,7 +101,6 @@ pub enum Syscall {
         which: usize,
         param1: usize,
         param2: usize,
-        param3: usize,
     },
 
     /// Structure representing an invocation of the Subscribe system call class.
@@ -209,7 +208,6 @@ impl Syscall {
                 which: r0,
                 param1: r1,
                 param2: r2,
-                param3: r3,
             }),
             Ok(SyscallClass::Subscribe) => Some(Syscall::Subscribe {
                 driver_number: r0,