Index: kernel/arch/ia64/src/ia64.c
===================================================================
--- kernel/arch/ia64/src/ia64.c	(revision b1276d443d5ca6cf4813dcbce655a4931dd165c1)
+++ kernel/arch/ia64/src/ia64.c	(revision 78fd6ef3950e019246df5fcf81cf827e5434fdda)
@@ -106,5 +106,5 @@
 static void iosapic_init(void)
 {
-	uintptr_t IOSAPIC = km_map(iosapic_base, PAGE_SIZE,
+	uintptr_t IOSAPIC = km_map(iosapic_base, PAGE_SIZE, PAGE_SIZE,
 	    PAGE_WRITE | PAGE_NOT_CACHEABLE);
 	int i;
@@ -136,5 +136,5 @@
 		/* Map the page with legacy I/O. */
 		legacyio_virt_base = km_map(LEGACYIO_PHYS_BASE, LEGACYIO_SIZE,
-		    PAGE_WRITE | PAGE_NOT_CACHEABLE);
+		    KM_NATURAL_ALIGNMENT, PAGE_WRITE | PAGE_NOT_CACHEABLE);
 
 		iosapic_init();