diff options
Diffstat (limited to 'extras/mini-os/include/mm.h')
-rw-r--r-- | extras/mini-os/include/mm.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/extras/mini-os/include/mm.h b/extras/mini-os/include/mm.h index 28fb727f9f..7c8588ccf8 100644 --- a/extras/mini-os/include/mm.h +++ b/extras/mini-os/include/mm.h @@ -75,5 +75,6 @@ extern unsigned long heap, brk, heap_mapped, heap_end; #endif int free_physical_pages(xen_pfn_t *mfns, int n); +void fini_mm(void); #endif /* _MM_H_ */ |