@ -23,6 +23,7 @@ typedef struct arch_context arch_context_t;
extern void __attribute__((noreturn)) worker_thread_sandbox_switch_preempt(void);
extern __thread arch_context_t worker_thread_base_context;
// Initialized a context, zeroing out registers and setting the Instruction and Stack pointers
static inline void
arch_context_init(arch_context_t *actx, reg_t ip, reg_t sp)
{