From fb7298d1d189bed14097970a7d8e63f3d2fc8f94 Mon Sep 17 00:00:00 2001 From: Sean McBride Date: Wed, 18 Mar 2020 14:44:17 -0400 Subject: [PATCH] chore: rename sandbox argument --- runtime/include/sandbox.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 *