Index: kernel/arch/ia64/src/mm/page.c
===================================================================
--- kernel/arch/ia64/src/mm/page.c	(revision 3e5a814f67a25d67bb66d16b02bfb7eb85c77a90)
+++ kernel/arch/ia64/src/mm/page.c	(revision 6b1de7a1011d845f2361a5c2065228bf69c78b8d)
@@ -275,6 +275,6 @@
 uintptr_t hw_map(uintptr_t physaddr, size_t size __attribute__ ((unused)))
 {
-	/* This is a dirty hack. */
-	return PA2KA(physaddr);
+	/* THIS is a dirty hack. */
+	return (uintptr_t)((uint64_t)(PA2KA(physaddr)) + VIO_OFFSET);
 }