Index: arch/ia64/src/mm/tlb.c
===================================================================
--- arch/ia64/src/mm/tlb.c	(revision 0f250f9bff41704344ca927ecc587c2eb450e9ee)
+++ arch/ia64/src/mm/tlb.c	(revision 69f293e23a994f1d3d74f2f4d28f186f5281c289)
@@ -439,5 +439,4 @@
 		page_table_unlock(AS, true);
 		if (!as_page_fault(va)) {
-			page_table_unlock(AS, true);
 			panic("%s: va=%P, rid=%d\n", __FUNCTION__, istate->cr_ifa, rr.map.rid);
 		}