diff --git a/runtime/include/sandbox.h b/runtime/include/sandbox.h
index 0c91322..fbfc5a2 100644
--- a/runtime/include/sandbox.h
+++ b/runtime/include/sandbox.h
@@ -90,7 +90,7 @@ extern void            worker_thread__current_sandbox__exit(void);
 extern struct sandbox *worker_thread__get_next_sandbox(int interrupt);
 extern void            worker_thread__process_io(void);
 extern void __attribute__((noreturn)) worker_thread__sandbox_switch_preempt(void);
-extern void worker_thread__wakeup_sandbox(sandbox_t *sb);
+extern void worker_thread__wakeup_sandbox(sandbox_t *sandbox);
 
 /***************************
  * Public API              *