diff options
| author | kaf24@scramble.cl.cam.ac.uk <kaf24@scramble.cl.cam.ac.uk> | 2004-06-10 11:33:45 +0000 |
|---|---|---|
| committer | kaf24@scramble.cl.cam.ac.uk <kaf24@scramble.cl.cam.ac.uk> | 2004-06-10 11:33:45 +0000 |
| commit | cce2235b0ff8d8a818b2a57c2a399afe388e2e34 (patch) | |
| tree | e6ce2dfbebfabe5ba9e6b014da790f6d16af8a02 /extras/mini-os/kernel.c | |
| parent | 03907beb680ee39bee212bb3cb170cb295238cda (diff) | |
| download | xen-cce2235b0ff8d8a818b2a57c2a399afe388e2e34.tar.gz xen-cce2235b0ff8d8a818b2a57c2a399afe388e2e34.tar.bz2 xen-cce2235b0ff8d8a818b2a57c2a399afe388e2e34.zip | |
bitkeeper revision 1.947 (40c84719Ozi8_o69nGYdNuJ6OQd4eQ)
Cleanup domain stop/crash. Provide notification to DOM0 so that
cleanup/postmortem can occur before domain is killed.
Diffstat (limited to 'extras/mini-os/kernel.c')
| -rw-r--r-- | extras/mini-os/kernel.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extras/mini-os/kernel.c b/extras/mini-os/kernel.c index 0afd864cf5..f1d46fbf7d 100644 --- a/extras/mini-os/kernel.c +++ b/extras/mini-os/kernel.c @@ -153,7 +153,7 @@ void start_kernel(start_info_t *si) void do_exit(void) { printk("do_exit called!\n"); - for ( ;; ) HYPERVISOR_exit(); + for ( ;; ) HYPERVISOR_shutdown(); } static void exit_handler(int ev, struct pt_regs *regs) { do_exit(); |