diff --git a/kernel/syscall/sched.c b/kernel/syscall/sched.c
index c6db1ab..44260e6 100644
--- a/kernel/syscall/sched.c
+++ b/kernel/syscall/sched.c
@@ -11,7 +11,9 @@ int32_t SYSCALL0(sys_schedrelease) {
   Proc *proc = PROCS.current;
   spinlock_release(&PROCS.spinlock);
 
-  proc_sched((void *)INTR_CURRENT_FRAME);
+  if (INTR_CURRENT_FRAME != NULL) {
+    proc_sched((void *)INTR_CURRENT_FRAME);
+  }
 
   return E_OK;
 }