blob: 0991b32eed85ff76f34b40fc9271c72cf405e148 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
// -*- c++ -*-
#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 kernel_owned<rust_task_list> {
public:
rust_scheduler *sched;
const char* name;
rust_task_list (rust_scheduler *sched, const char* name);
void delete_all();
};
#endif /* RUST_TASK_LIST_H */
|