diff options
Diffstat (limited to 'extras/mini-os/kernel.c')
| -rw-r--r-- | extras/mini-os/kernel.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/extras/mini-os/kernel.c b/extras/mini-os/kernel.c index f2f70f6c15..0313ec8715 100644 --- a/extras/mini-os/kernel.c +++ b/extras/mini-os/kernel.c @@ -48,9 +48,11 @@ uint8_t xen_features[XENFEAT_NR_SUBMAPS * 32]; +#ifdef CONFIG_XENBUS unsigned int do_shutdown = 0; unsigned int shutdown_reason; DECLARE_WAIT_QUEUE_HEAD(shutdown_queue); +#endif void setup_xen_features(void) { |