Index: kernel/arch/ia64/src/mm/tlb.c
===================================================================
--- kernel/arch/ia64/src/mm/tlb.c	(revision 38f6add51fdd83cb5376daa7467faa2e59228047)
+++ kernel/arch/ia64/src/mm/tlb.c	(revision ff50f4028ac28f68255e99ff510cd765ca0cff13)
@@ -473,6 +473,6 @@
 		page_table_unlock(AS, true);
 		if (as_page_fault(va, PF_ACCESS_EXEC, istate) == AS_PF_FAULT) {
-			fault_if_from_uspace(istate,"Page fault at %p",va);
-			panic("%s: va=%p, rid=%d, iip=%p\n", __func__, va, rid,
+			fault_if_from_uspace(istate,"Page fault at %p.",va);
+			panic("%s: va=%p, rid=%d, iip=%p.", __func__, va, rid,
 			    istate->cr_iip);
 		}
@@ -532,5 +532,5 @@
 			} else {
 				fault_if_from_uspace(istate,
-				    "IO access fault at %p", va);
+				    "IO access fault at %p.", va);
 			}
 		}
@@ -584,6 +584,6 @@
 		 */
 		if (as_page_fault(va, PF_ACCESS_READ, istate) == AS_PF_FAULT) {
-			fault_if_from_uspace(istate,"Page fault at %p",va);
-			panic("%s: va=%p, rid=%d, iip=%p\n", __func__, va, rid,
+			fault_if_from_uspace(istate,"Page fault at %p.",va);
+			panic("%s: va=%p, rid=%d, iip=%p.", __func__, va, rid,
 			    istate->cr_iip);
 		}
@@ -600,5 +600,5 @@
 void data_nested_tlb_fault(uint64_t vector, istate_t *istate)
 {
-	panic("%s\n", __func__);
+	panic("%s.", __func__);
 }
 
@@ -631,6 +631,6 @@
 	} else {
 		if (as_page_fault(va, PF_ACCESS_WRITE, istate) == AS_PF_FAULT) {
-			fault_if_from_uspace(istate,"Page fault at %p",va);
-			panic("%s: va=%p, rid=%d, iip=%p\n", __func__, va, rid,
+			fault_if_from_uspace(istate,"Page fault at %p.",va);
+			panic("%s: va=%p, rid=%d, iip=%p.", __func__, va, rid,
 			    istate->cr_iip);
 		}
@@ -667,6 +667,6 @@
 	} else {
 		if (as_page_fault(va, PF_ACCESS_EXEC, istate) == AS_PF_FAULT) {
-			fault_if_from_uspace(istate, "Page fault at %p", va);
-			panic("%s: va=%p, rid=%d, iip=%p\n", __func__, va, rid,
+			fault_if_from_uspace(istate, "Page fault at %p.", va);
+			panic("%s: va=%p, rid=%d, iip=%p.", __func__, va, rid,
 			    istate->cr_iip);
 		}
@@ -703,6 +703,6 @@
 	} else {
 		if (as_page_fault(va, PF_ACCESS_READ, istate) == AS_PF_FAULT) {
-			fault_if_from_uspace(istate, "Page fault at %p", va);
-			panic("%s: va=%p, rid=%d, iip=%p\n", __func__, va, rid,
+			fault_if_from_uspace(istate, "Page fault at %p.", va);
+			panic("%s: va=%p, rid=%d, iip=%p.", __func__, va, rid,
 			    istate->cr_iip);
 		}
@@ -744,6 +744,6 @@
 		page_table_unlock(AS, true);
 		if (as_page_fault(va, PF_ACCESS_READ, istate) == AS_PF_FAULT) {
-			fault_if_from_uspace(istate, "Page fault at %p", va);
-			panic("%s: va=%p, rid=%d\n", __func__, va, rid);
+			fault_if_from_uspace(istate, "Page fault at %p.", va);
+			panic("%s: va=%p, rid=%d.", __func__, va, rid);
 		}
 	}