diff --git a/sys/ia64/ia64/machdep.c b/sys/ia64/ia64/machdep.c
index 9435f07d664..b7fb86ab521 100644
--- a/sys/ia64/ia64/machdep.c
+++ b/sys/ia64/ia64/machdep.c
@@ -399,37 +399,6 @@ map_pal_code(void)
 	__asm __volatile("srlz.i");
 }
 
-void
-map_port_space(void)
-{
-	struct ia64_pte pte;
-	u_int64_t psr;
-
-	/* XXX we should fail hard if there's no I/O port space. */
-	if (ia64_port_base == 0)
-		return;
-
-	bzero(&pte, sizeof(pte));
-	pte.pte_p = 1;
-	pte.pte_ma = PTE_MA_UC;
-	pte.pte_a = 1;
-	pte.pte_d = 1;
-	pte.pte_pl = PTE_PL_KERN;
-	pte.pte_ar = PTE_AR_RW;
-	pte.pte_ppn = ia64_port_base >> 12;
-
-	__asm __volatile("ptr.d %0,%1" :: "r"(ia64_port_base), "r"(24 << 2));
-
-	__asm __volatile("mov	%0=psr" : "=r" (psr));
-	__asm __volatile("rsm	psr.ic|psr.i");
-	__asm __volatile("srlz.d");
-	__asm __volatile("mov	cr.ifa=%0" :: "r"(ia64_port_base));
-	__asm __volatile("mov	cr.itir=%0" :: "r"(IA64_ID_PAGE_SHIFT << 2));
-	__asm __volatile("itr.d dtr[%0]=%1" :: "r"(2), "r"(*(u_int64_t*)&pte));
-	__asm __volatile("mov	psr.l=%0" :: "r" (psr));
-	__asm __volatile("srlz.d");
-}
-
 void
 map_gateway_page(void)
 {
@@ -546,8 +515,6 @@ ia64_init(void)
 			ia64_pal_base = mdp->PhysicalStart;
 	}
 
-	map_port_space();
-
 	metadata_missing = 0;
 	if (bootinfo.bi_modulep)
 		preload_metadata = (caddr_t)bootinfo.bi_modulep;
diff --git a/sys/ia64/ia64/mp_machdep.c b/sys/ia64/ia64/mp_machdep.c
index b1e4749f9be..b7efc76c238 100644
--- a/sys/ia64/ia64/mp_machdep.c
+++ b/sys/ia64/ia64/mp_machdep.c
@@ -94,7 +94,6 @@ ia64_ap_startup(void)
 	ia64_set_k4((intptr_t)pcpup);
 
 	map_pal_code();
-	map_port_space();
 	map_gateway_page();
 
 	ia64_set_fpsr(IA64_FPSR_DEFAULT);
diff --git a/sys/ia64/include/md_var.h b/sys/ia64/include/md_var.h
index a9a3dfda676..494670908ac 100644
--- a/sys/ia64/include/md_var.h
+++ b/sys/ia64/include/md_var.h
@@ -63,7 +63,6 @@ void	ia64_probe_sapics(void);
 int	interrupt(uint64_t, struct trapframe *);
 void	map_gateway_page(void);
 void	map_pal_code(void);
-void	map_port_space(void);
 void	os_boot_rendez(void);
 void	os_mca(void);
 void	spillfd(void *src, void *dst);