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 32ce7d93f6..c9636926ae 100644 --- a/extras/mini-os/include/mm.h +++ b/extras/mini-os/include/mm.h @@ -71,6 +71,7 @@ void *map_frames_ex(unsigned long *f, unsigned long n, unsigned long stride, void do_map_frames(unsigned long addr, unsigned long *f, unsigned long n, unsigned long stride, unsigned long increment, domid_t id, int may_fail, unsigned long prot); +int unmap_frames(unsigned long va, unsigned long num_frames); #ifdef HAVE_LIBC extern unsigned long heap, brk, heap_mapped, heap_end; #endif |