Index: kernel/arch/ia64/src/mm/page.c
===================================================================
--- kernel/arch/ia64/src/mm/page.c	(revision 8ce14e316f8179ae2046a471132765e9c9823e2a)
+++ kernel/arch/ia64/src/mm/page.c	(revision 44ff4fb9fbf32f58d6fa97cffdcb4226917d5a68)
@@ -269,24 +269,8 @@
 }
 
-extern uintptr_t last_frame;
-
-uintptr_t hw_map(uintptr_t physaddr, size_t size)
-{
-	if (last_frame + ALIGN_UP(size, PAGE_SIZE) >
-	    KA2PA(KERNEL_ADDRESS_SPACE_END_ARCH))
-		panic("Unable to map physical memory %p (%d bytes)", physaddr,
-		    size)
-	
-	uintptr_t virtaddr = PA2KA(last_frame);
-	pfn_t i;
-	for (i = 0; i < ADDR2PFN(ALIGN_UP(size, PAGE_SIZE)); i++) {
-		uintptr_t addr = PFN2ADDR(i);
-		page_mapping_insert(AS_KERNEL, virtaddr + addr, physaddr + addr,
-		    PAGE_NOT_CACHEABLE | PAGE_WRITE);
-	}
-	
-	last_frame = ALIGN_UP(last_frame + size, FRAME_SIZE);
-	
-	return virtaddr;
+uintptr_t hw_map(uintptr_t physaddr, size_t size __attribute__ ((unused)))
+{
+	/* This is a dirty hack. */
+	return PA2KA(physaddr);
 }
 
Index: kernel/arch/ia64/src/mm/tlb.c
===================================================================
--- kernel/arch/ia64/src/mm/tlb.c	(revision 8ce14e316f8179ae2046a471132765e9c9823e2a)
+++ kernel/arch/ia64/src/mm/tlb.c	(revision 44ff4fb9fbf32f58d6fa97cffdcb4226917d5a68)
@@ -483,5 +483,5 @@
 {
 	if (TASK->arch.iomap)
-		return bitmap_get(TASK->arch.iomap,page);
+		return bitmap_get(TASK->arch.iomap, page);
 	else
 		return 0;