diff options
| author | Michael Bebenita <[email protected]> | 2010-09-10 01:21:29 -0700 |
|---|---|---|
| committer | Michael Bebenita <[email protected]> | 2010-09-10 14:38:31 -0700 |
| commit | a493350eb5ab38ba8a6563f3eb4a090d257b0d3a (patch) | |
| tree | dc984eaa28a55de9f05db0b961a0e67f80ca35ef /src/rt/rust_task_list.h | |
| parent | Added lock_and_signal::signal_all(), and made the rust_kernel::join() use wai... (diff) | |
| download | rust-a493350eb5ab38ba8a6563f3eb4a090d257b0d3a.tar.xz rust-a493350eb5ab38ba8a6563f3eb4a090d257b0d3a.zip | |
Cleanup, refactoring, and some runtime tests.
Diffstat (limited to 'src/rt/rust_task_list.h')
| -rw-r--r-- | src/rt/rust_task_list.h | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/rt/rust_task_list.h b/src/rt/rust_task_list.h new file mode 100644 index 00000000..b1fba750 --- /dev/null +++ b/src/rt/rust_task_list.h @@ -0,0 +1,16 @@ +#ifndef RUST_TASK_LIST_H +#define RUST_TASK_LIST_H + +/** + * Used to indicate the state of a rust task. + */ +class rust_task_list : public indexed_list<rust_task>, + public dom_owned<rust_task_list> { +public: + rust_dom *dom; + const char* name; + rust_task_list (rust_dom *dom, const char* name); + void delete_all(); +}; + +#endif /* RUST_TASK_LIST_H */ |