diff options
Diffstat (limited to 'extras/mini-os/arch/ia64/mm.c')
| -rw-r--r-- | extras/mini-os/arch/ia64/mm.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/extras/mini-os/arch/ia64/mm.c b/extras/mini-os/arch/ia64/mm.c index 189b39addc..802c29f0b5 100644 --- a/extras/mini-os/arch/ia64/mm.c +++ b/extras/mini-os/arch/ia64/mm.c @@ -156,6 +156,12 @@ map_frames_ex(unsigned long* frames, unsigned long n, unsigned long stride, return (void*) __va(frames[0] << PAGE_SHIFT); } +int unmap_frames(unsigned long virt_addr, unsigned long num_frames) +{ + /* TODO */ + ASSERT(0); +} + void arch_init_p2m(unsigned long max_pfn) { printk("Warn: p2m map not implemented.\n"); |