diff options
Diffstat (limited to 'extras/mini-os/mm.c')
-rw-r--r-- | extras/mini-os/mm.c | 1 |
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); /********************* |