diff options
Diffstat (limited to 'src/rt/rust_builtin.cpp')
| -rw-r--r-- | src/rt/rust_builtin.cpp | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/rt/rust_builtin.cpp b/src/rt/rust_builtin.cpp index 4ba6c299c62..8f5c3c6fa14 100644 --- a/src/rt/rust_builtin.cpp +++ b/src/rt/rust_builtin.cpp @@ -805,6 +805,18 @@ rust_global_env_chan_ptr() { return task->kernel->get_global_env_chan(); } +extern "C" void +rust_task_inhibit_kill() { + rust_task *task = rust_get_current_task(); + task->inhibit_kill(); +} + +extern "C" void +rust_task_allow_kill() { + rust_task *task = rust_get_current_task(); + task->allow_kill(); +} + // // Local Variables: // mode: C++ |
