diff options
Diffstat (limited to 'extras/mini-os/include/mm.h')
| -rw-r--r-- | extras/mini-os/include/mm.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/extras/mini-os/include/mm.h b/extras/mini-os/include/mm.h index 8396ec6b31..b76a50f2f7 100644 --- a/extras/mini-os/include/mm.h +++ b/extras/mini-os/include/mm.h @@ -70,4 +70,6 @@ void *map_frames_ex(unsigned long *f, unsigned long n, unsigned long stride, extern unsigned long heap, brk, heap_mapped, heap_end; #endif +int free_physical_pages(xen_pfn_t *mfns, int n); + #endif /* _MM_H_ */ |