diff --git a/runtime/include/sandbox.h b/runtime/include/sandbox.h
index bd133dc..17759b6 100644
--- a/runtime/include/sandbox.h
+++ b/runtime/include/sandbox.h
@@ -324,11 +324,11 @@ sandbox_print_perf(struct sandbox *sandbox)
 }
 
 void sandbox_set_as_initialized(struct sandbox *sandbox, struct sandbox_request *sandbox_request,
-                                uint64_t allocation_timestamp);
-void sandbox_set_as_runnable(struct sandbox *sandbox, sandbox_state_t last_state);
-void sandbox_set_as_running(struct sandbox *sandbox, sandbox_state_t last_state);
-void sandbox_set_as_blocked(struct sandbox *sandbox, sandbox_state_t last_state);
-void sandbox_set_as_preempted(struct sandbox *sandbox, sandbox_state_t last_state);
-void sandbox_set_as_returned(struct sandbox *sandbox, sandbox_state_t last_state);
-void sandbox_set_as_complete(struct sandbox *sandbox, sandbox_state_t last_state);
-void sandbox_set_as_error(struct sandbox *sandbox, sandbox_state_t last_state);
+                                uint64_t allocation_timestamp) __attribute__((always_inline));
+void sandbox_set_as_runnable(struct sandbox *sandbox, sandbox_state_t last_state) __attribute__((always_inline));
+void sandbox_set_as_running(struct sandbox *sandbox, sandbox_state_t last_state) __attribute__((always_inline));
+void sandbox_set_as_blocked(struct sandbox *sandbox, sandbox_state_t last_state) __attribute__((always_inline));
+void sandbox_set_as_preempted(struct sandbox *sandbox, sandbox_state_t last_state) __attribute__((always_inline));
+void sandbox_set_as_returned(struct sandbox *sandbox, sandbox_state_t last_state) __attribute__((always_inline));
+void sandbox_set_as_complete(struct sandbox *sandbox, sandbox_state_t last_state) __attribute__((always_inline));
+void sandbox_set_as_error(struct sandbox *sandbox, sandbox_state_t last_state) __attribute__((always_inline));