aboutsummaryrefslogtreecommitdiffstats
path: root/extras/mini-os/include
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibaut@ens-lyon.org>2013-01-09 08:43:53 +0000
committerSamuel Thibault <samuel.thibaut@ens-lyon.org>2013-01-09 08:43:53 +0000
commit4813ceb154c194395dda8c6817e1f06c000470d2 (patch)
tree9dc921acbd3ffcba03cc929d8f41e251efec0879 /extras/mini-os/include
parentcc4707100aad115c0f384f576c020c6255e77ffb (diff)
downloadxen-4813ceb154c194395dda8c6817e1f06c000470d2.tar.gz
xen-4813ceb154c194395dda8c6817e1f06c000470d2.tar.bz2
xen-4813ceb154c194395dda8c6817e1f06c000470d2.zip
mini-os: Notify shutdown through weak function call instead of wake queue
To allow for more flexibility, this notifies domain shutdown through a function rather than a wake queue, to let the application use a wake queue only if it wishes. Signed-off-by: Samuel Thibault <samuel.thibault@ens-lyon.org> Committed-by: Keir Fraser <keir@xen.org>
Diffstat (limited to 'extras/mini-os/include')
-rw-r--r--extras/mini-os/include/kernel.h3
1 files changed, 0 insertions, 3 deletions
diff --git a/extras/mini-os/include/kernel.h b/extras/mini-os/include/kernel.h
index 78692e6c12..b36f172ed8 100644
--- a/extras/mini-os/include/kernel.h
+++ b/extras/mini-os/include/kernel.h
@@ -1,9 +1,6 @@
#ifndef _KERNEL_H_
#define _KERNEL_H_
-extern unsigned int do_shutdown;
-extern unsigned int shutdown_reason;
-extern struct wait_queue_head shutdown_queue;
extern void do_exit(void) __attribute__((noreturn));
extern void stop_kernel(void);