Index: kernel/arch/ia64/src/mm/as.c
===================================================================
--- kernel/arch/ia64/src/mm/as.c	(revision bd1deed7b64271415d7ecf3951bd917d8093536f)
+++ kernel/arch/ia64/src/mm/as.c	(revision 879585a3fd47daccb6ab751ad240297f65de5bae)
@@ -37,9 +37,8 @@
 #include <arch/mm/page.h>
 #include <genarch/mm/as_ht.h>
+#include <genarch/mm/page_ht.h>
 #include <genarch/mm/asid_fifo.h>
 #include <mm/asid.h>
-#include <arch.h>
 #include <arch/barrier.h>
-#include <synch/spinlock.h>
 
 /** Architecture dependent address space init. */
@@ -56,10 +55,6 @@
 void as_install_arch(as_t *as)
 {
-	ipl_t ipl;
 	region_register rr;
 	int i;
-	
-	ipl = interrupts_disable();
-	spinlock_lock(&as->lock);
 	
 	ASSERT(as->asid != ASID_INVALID);
@@ -81,7 +76,4 @@
 	srlz_d();
 	srlz_i();
-	
-	spinlock_unlock(&as->lock);
-	interrupts_restore(ipl);
 }