|
|
@ -90,7 +90,7 @@ extern void worker_thread__current_sandbox__exit(void);
|
|
|
|
extern struct sandbox *worker_thread__get_next_sandbox(int interrupt);
|
|
|
|
extern struct sandbox *worker_thread__get_next_sandbox(int interrupt);
|
|
|
|
extern void worker_thread__process_io(void);
|
|
|
|
extern void worker_thread__process_io(void);
|
|
|
|
extern void __attribute__((noreturn)) worker_thread__sandbox_switch_preempt(void);
|
|
|
|
extern void __attribute__((noreturn)) worker_thread__sandbox_switch_preempt(void);
|
|
|
|
extern void worker_thread__wakeup_sandbox(sandbox_t *sb);
|
|
|
|
extern void worker_thread__wakeup_sandbox(sandbox_t *sandbox);
|
|
|
|
|
|
|
|
|
|
|
|
/***************************
|
|
|
|
/***************************
|
|
|
|
* Public API *
|
|
|
|
* Public API *
|
|
|
|