diff --git a/kernel/device/ps2_kb.c b/kernel/device/ps2_kb.c
index e907f12..0e66a41 100644
--- a/kernel/device/ps2_kb.c
+++ b/kernel/device/ps2_kb.c
@@ -214,7 +214,7 @@ DEFINE_DEVICE_OP (ps2kb_read_key) {
 }
 
 DEFINE_DEVICE_OP (ps2kb_read_key_nonblock) {
-  uint64_t frb, fsq;
+  uint64_t frb;
 
   uint8_t* chbuf = (uint8_t*)a1;
 
diff --git a/kernel/proc/proc.c b/kernel/proc/proc.c
index a5b9b8a..8563446 100644
--- a/kernel/proc/proc.c
+++ b/kernel/proc/proc.c
@@ -330,7 +330,7 @@ void proc_wait_for (struct proc* proc, struct reschedule_ctx* rctx, struct proc*
 }
 
 static void proc_irq_sched (void* arg, void* regs, bool user, struct reschedule_ctx* rctx) {
-  (void)arg, (void)regs, (void)rctx;
+  (void)arg, (void)regs, (void)rctx, (void)user;
 
   rctx_insert_cpu (rctx, thiscpu);
 }
diff --git a/kernel/proc/stream.c b/kernel/proc/stream.c
index 72cc4d9..d094860 100644
--- a/kernel/proc/stream.c
+++ b/kernel/proc/stream.c
@@ -8,7 +8,7 @@
 #include <proc/suspension_q.h>
 
 void proc_stream_write (struct proc_stream* stream, void* data, size_t data_size) {
-  uint64_t fr, fsq;
+  uint64_t fr;
 
   spin_lock (&stream->resource->lock, &fr);