diff options
Diffstat (limited to 'src/rt/rust_task.h')
| -rw-r--r-- | src/rt/rust_task.h | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/src/rt/rust_task.h b/src/rt/rust_task.h index 20c9a48f1dd..928c8ffdf21 100644 --- a/src/rt/rust_task.h +++ b/src/rt/rust_task.h @@ -116,7 +116,6 @@ #include "rust_kernel.h" #include "boxed_region.h" #include "rust_stack.h" -#include "rust_port_selector.h" #include "rust_type.h" #include "rust_sched_loop.h" @@ -219,14 +218,6 @@ rust_task : public kernel_owned<rust_task> const char *const name; int32_t list_index; - // Rendezvous pointer for receiving data when blocked on a port. If we're - // trying to read data and no data is available on any incoming channel, - // we block on the port, and yield control to the scheduler. Since, we - // were not able to read anything, we remember the location where the - // result should go in the rendezvous_ptr, and let the sender write to - // that location before waking us up. - uintptr_t* rendezvous_ptr; - boxed_region boxed; memory_region local_region; @@ -270,8 +261,6 @@ private: uintptr_t next_c_sp; uintptr_t next_rust_sp; - rust_port_selector port_selector; - // Called when the atomic refcount reaches zero void delete_this(); @@ -302,8 +291,6 @@ private: char const *file, size_t line); - friend class rust_port; - friend class rust_port_selector; bool block_inner(rust_cond *on, const char* name); void wakeup_inner(rust_cond *from); bool blocked_on(rust_cond *cond); @@ -381,8 +368,6 @@ public: void call_on_rust_stack(void *args, void *fn_ptr); bool have_c_stack() { return c_stack != NULL; } - rust_port_selector *get_port_selector() { return &port_selector; } - rust_task_state get_state() { return state; } rust_cond *get_cond() { return cond; } const char *get_cond_name() { return cond_name; } |