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_kernel.cpp | |
| 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_kernel.cpp')
| -rw-r--r-- | src/rt/rust_kernel.cpp | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/src/rt/rust_kernel.cpp b/src/rt/rust_kernel.cpp index 549b85d3..ef4220f9 100644 --- a/src/rt/rust_kernel.cpp +++ b/src/rt/rust_kernel.cpp @@ -4,9 +4,7 @@ rust_kernel::rust_kernel(rust_srv *srv) : _region(&srv->local_region), _log(srv, NULL), _srv(srv), - _interrupt_kernel_loop(FALSE), - domains(&srv->local_region), - message_queues(&srv->local_region) { + _interrupt_kernel_loop(FALSE) { // Nop. } @@ -22,6 +20,9 @@ rust_kernel::create_domain(const rust_crate *crate, const char *name) { message_queue->associate(handle); domains.append(dom); message_queues.append(message_queue); + log(rust_log::KERN | rust_log::TASK, + "created domain: " PTR ", name: %s, index: %d, domains %d", + dom, name, dom->list_index, domains.length()); _kernel_lock.signal_all(); _kernel_lock.unlock(); return handle; @@ -30,8 +31,9 @@ rust_kernel::create_domain(const rust_crate *crate, const char *name) { void rust_kernel::destroy_domain(rust_dom *dom) { _kernel_lock.lock(); - log(rust_log::KERN, "deleting domain: " PTR ", index: %d, domains %d", - dom, dom->list_index, domains.length()); + log(rust_log::KERN, + "deleting domain: " PTR ", name: %s, index: %d, domains %d", + dom, dom->name, dom->list_index, domains.length()); domains.remove(dom); dom->message_queue->disassociate(); rust_srv *srv = dom->srv; |