Unused variables

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;
 

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);
 }

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);