diff options
author | kfraser@localhost.localdomain <kfraser@localhost.localdomain> | 2006-11-17 09:16:27 +0000 |
---|---|---|
committer | kfraser@localhost.localdomain <kfraser@localhost.localdomain> | 2006-11-17 09:16:27 +0000 |
commit | 7d58e874105e17c7cd15c1734e66dd8ccb14d996 (patch) | |
tree | 1d3621da982485695d9fa4c0901971ef32a4ae20 /extras/mini-os/include/x86 | |
parent | b38e0f65a82591aa44d5693208c248eda280c7dd (diff) | |
download | xen-7d58e874105e17c7cd15c1734e66dd8ccb14d996.tar.gz xen-7d58e874105e17c7cd15c1734e66dd8ccb14d996.tar.bz2 xen-7d58e874105e17c7cd15c1734e66dd8ccb14d996.zip |
[MINIOS] Move initialisation of events (masking event channels)
earlier during the boot process. Otherwise 64bit guests would
sometimes crash.
Signed-off-by: Grzegorz Milos <gm281@cam.ac.uk>
Diffstat (limited to 'extras/mini-os/include/x86')
-rw-r--r-- | extras/mini-os/include/x86/os.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/extras/mini-os/include/x86/os.h b/extras/mini-os/include/x86/os.h index eed5bda7c8..80f5586a49 100644 --- a/extras/mini-os/include/x86/os.h +++ b/extras/mini-os/include/x86/os.h @@ -19,6 +19,8 @@ #include <types.h> #include <hypervisor.h> +#define USED __attribute__ ((used)) + extern void do_exit(void); #define BUG do_exit |