diff options
Diffstat (limited to 'src/rt/rust_task.h')
| -rw-r--r-- | src/rt/rust_task.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/rt/rust_task.h b/src/rt/rust_task.h index 28446d9048a..300c1df133c 100644 --- a/src/rt/rust_task.h +++ b/src/rt/rust_task.h @@ -107,6 +107,8 @@ rust_task : public kernel_owned<rust_task>, rust_cond private: + // Protects the killed flag + lock_and_signal kill_lock; // Indicates that the task was killed and needs to unwind bool killed; // Indicates that we've called back into Rust from C |