From eb491a9018ea356e15347005f490ae1005013937 Mon Sep 17 00:00:00 2001 From: Sean McBride Date: Tue, 28 Jul 2020 14:28:49 -0400 Subject: [PATCH] chore: add always inline attributes --- runtime/include/sandbox.h | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) 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));