diff options
Diffstat (limited to 'extras/mini-os/mm.c')
| -rw-r--r-- | extras/mini-os/mm.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/extras/mini-os/mm.c b/extras/mini-os/mm.c index 743d45d051..d2d52646b2 100644 --- a/extras/mini-os/mm.c +++ b/extras/mini-os/mm.c @@ -361,7 +361,6 @@ void free_pages(void *pointer, int order) } -#ifndef __ia64__ int free_physical_pages(xen_pfn_t *mfns, int n) { struct xen_memory_reservation reservation; @@ -372,7 +371,6 @@ 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) |