diff options
Diffstat (limited to 'extras/mini-os/mm.c')
| -rw-r--r-- | extras/mini-os/mm.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/extras/mini-os/mm.c b/extras/mini-os/mm.c index fbb155881a..a5338b0053 100644 --- a/extras/mini-os/mm.c +++ b/extras/mini-os/mm.c @@ -361,6 +361,7 @@ void free_pages(void *pointer, int order) } +#ifndef __ia64__ int free_physical_pages(xen_pfn_t *mfns, int n) { struct xen_memory_reservation reservation; @@ -371,6 +372,7 @@ int free_physical_pages(xen_pfn_t *mfns, int n) reservation.domid = DOMID_SELF; return HYPERVISOR_memory_op(XENMEM_decrease_reservation, &reservation); } +#endif #ifdef HAVE_LIBC void *sbrk(ptrdiff_t increment) |