@ -2,7 +2,7 @@
// The global of our polymorphic interface
sandbox_request_scheduler_config_t sandbox_request_scheduler;
static sandbox_request_scheduler_config_t sandbox_request_scheduler;
// Initializes a concrete implementation of the sandbox request scheduler interface
void
@ -1,6 +1,6 @@
#include <sandbox_request_scheduler.h>
// FIFO Globals
// Local State
static struct deque_sandbox *runtime_global_deque;
static pthread_mutex_t runtime_global_deque_mutex = PTHREAD_MUTEX_INITIALIZER;