aboutsummaryrefslogtreecommitdiffstats
path: root/extras/mini-os/mm.c
diff options
context:
space:
mode:
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>2006-03-24 10:47:48 +0100
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>2006-03-24 10:47:48 +0100
commitc7b965a01c79f34586562d1e2b8eda2c00449bb2 (patch)
tree9ed2a204c58fa4de41a0da4adb14d30a4ef7832f /extras/mini-os/mm.c
parent2acf021310aea3b5b45a82ba0c928cfe6738495a (diff)
downloadxen-c7b965a01c79f34586562d1e2b8eda2c00449bb2.tar.gz
xen-c7b965a01c79f34586562d1e2b8eda2c00449bb2.tar.bz2
xen-c7b965a01c79f34586562d1e2b8eda2c00449bb2.zip
Fix mini-os xenbus.
From: Grzegorz Milos <gm281@cam.ac.uk> Signed-off-by: Keir Fraser <keir@xensource.com>
Diffstat (limited to 'extras/mini-os/mm.c')
-rw-r--r--extras/mini-os/mm.c1
1 files changed, 0 insertions, 1 deletions
diff --git a/extras/mini-os/mm.c b/extras/mini-os/mm.c
index 6facfe04b0..b2a1734b91 100644
--- a/extras/mini-os/mm.c
+++ b/extras/mini-os/mm.c
@@ -51,7 +51,6 @@
unsigned long *phys_to_machine_mapping;
extern char *stack;
extern char _text, _etext, _edata, _end;
-extern void do_exit(void);
extern void page_walk(unsigned long virt_addr);
/*********************