From 3fcc9c123a6e75d386d69019271214e35a5738c9 Mon Sep 17 00:00:00 2001 From: Sean McBride Date: Tue, 11 Aug 2020 14:13:55 -0400 Subject: [PATCH] chore: fix logging error --- runtime/src/sandbox.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/runtime/src/sandbox.c b/runtime/src/sandbox.c index 358cc06..0726fb0 100644 --- a/runtime/src/sandbox.c +++ b/runtime/src/sandbox.c @@ -444,6 +444,7 @@ void sandbox_set_as_initialized(struct sandbox *sandbox, struct sandbox_request *sandbox_request, uint64_t allocation_timestamp) { + assert(!software_interrupt_is_enabled()); assert(sandbox != NULL); assert(sandbox->state == SANDBOX_ALLOCATED); @@ -455,7 +456,7 @@ sandbox_set_as_initialized(struct sandbox *sandbox, struct sandbox_request *sand assert(allocation_timestamp > 0); - debuglog("Sandbox %lu | Uninitialized => Initialized\n", sandbox->request_arrival_timestamp); + debuglog("Sandbox %lu | Uninitialized => Initialized\n", sandbox_request->request_arrival_timestamp); sandbox->admissions_estimate = sandbox_request->admissions_estimate;