diff options
| author | Jon Morton <jonanin@gmail.com> | 2012-04-01 22:18:40 -0500 |
|---|---|---|
| committer | Jon Morton <jonanin@gmail.com> | 2012-04-01 22:18:40 -0500 |
| commit | 128a8b6ed500f74fa802aa9749b3b7a19ebfffc9 (patch) | |
| tree | 659d9f43bfe1768ab509892e739fd3aa015ac38f /src/rt/rust_kernel.h | |
| parent | 413994ea3eed976a6fe97f3d6cfeb0c2f453e77f (diff) | |
| download | rust-128a8b6ed500f74fa802aa9749b3b7a19ebfffc9.tar.gz rust-128a8b6ed500f74fa802aa9749b3b7a19ebfffc9.zip | |
remove rust_srv
Diffstat (limited to 'src/rt/rust_kernel.h')
| -rw-r--r-- | src/rt/rust_kernel.h | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/src/rt/rust_kernel.h b/src/rt/rust_kernel.h index 78548917ee5..7e3640f0631 100644 --- a/src/rt/rust_kernel.h +++ b/src/rt/rust_kernel.h @@ -22,9 +22,6 @@ class rust_kernel { memory_region _region; rust_log _log; -public: - rust_srv *srv; -private: // The next task id rust_task_id max_task_id; @@ -50,10 +47,9 @@ private: rust_sched_reaper sched_reaper; public: - struct rust_env *env; - rust_kernel(rust_srv *srv); + rust_kernel(rust_env *env); void log(uint32_t level, char const *fmt, ...); void fatal(char const *fmt, ...); |
