Index: kernel/arch/ia64/src/ia64.c
===================================================================
--- kernel/arch/ia64/src/ia64.c	(revision d46732962adcfcbf946c2c3f032af0f7fadb285c)
+++ kernel/arch/ia64/src/ia64.c	(revision 03cdd2bc585db0269ec04ceeea8070efbe64936b)
@@ -89,5 +89,6 @@
 static void iosapic_init(void)
 {
-	uintptr_t IOSAPIC = hw_map(iosapic_base, PAGE_SIZE);
+	uintptr_t IOSAPIC = km_map(iosapic_base, PAGE_SIZE,
+	    PAGE_WRITE | PAGE_NOT_CACHEABLE);
 	int i;
 	
@@ -117,5 +118,6 @@
 	if (config.cpu_active == 1) {
 		/* Map the page with legacy I/O. */
-		legacyio_virt_base = hw_map(LEGACYIO_PHYS_BASE, LEGACYIO_SIZE);
+		legacyio_virt_base = km_map(LEGACYIO_PHYS_BASE, LEGACYIO_SIZE,
+		    PAGE_WRITE | PAGE_NOT_CACHEABLE);
 
 		iosapic_init();