diff options
Diffstat (limited to 'extras/mini-os/mm.c')
| -rw-r--r-- | extras/mini-os/mm.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/extras/mini-os/mm.c b/extras/mini-os/mm.c index bc56030a25..fbb155881a 100644 --- a/extras/mini-os/mm.c +++ b/extras/mini-os/mm.c @@ -419,6 +419,10 @@ void init_mm(void) arch_init_demand_mapping_area(max_pfn); } +void fini_mm(void) +{ +} + void sanity_check(void) { int x; |