diff options
Diffstat (limited to 'src/rt/rust_dom.cpp')
| -rw-r--r-- | src/rt/rust_dom.cpp | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/rt/rust_dom.cpp b/src/rt/rust_dom.cpp index d5187ca7480..e3bbfe39449 100644 --- a/src/rt/rust_dom.cpp +++ b/src/rt/rust_dom.cpp @@ -48,10 +48,13 @@ rust_dom::~rust_dom() { } } +extern "C" void new_rust_activate_glue(rust_task *) + asm("new_rust_activate_glue"); + void rust_dom::activate(rust_task *task) { curr_task = task; - root_crate->get_activate_glue()(task); + new_rust_activate_glue(task); curr_task = NULL; } @@ -262,7 +265,6 @@ rust_dom::start_main_loop() { rust_timer timer(this); DLOG(this, dom, "started domain loop"); - DLOG(this, dom, "activate glue: " PTR, root_crate->get_activate_glue()); while (number_of_live_tasks() > 0) { A(this, kernel->is_deadlocked() == false, "deadlock"); |
