From c7b965a01c79f34586562d1e2b8eda2c00449bb2 Mon Sep 17 00:00:00 2001 From: "kaf24@firebug.cl.cam.ac.uk" Date: Fri, 24 Mar 2006 10:47:48 +0100 Subject: Fix mini-os xenbus. From: Grzegorz Milos Signed-off-by: Keir Fraser --- extras/mini-os/mm.c | 1 - 1 file changed, 1 deletion(-) (limited to 'extras/mini-os/mm.c') 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); /********************* -- cgit v1.2.3