Index: kernel/arch/arm32/src/mm/page_fault.c
===================================================================
--- kernel/arch/arm32/src/mm/page_fault.c	(revision 23c1fae7d082a65926d27e2802b947791d781ce7)
+++ kernel/arch/arm32/src/mm/page_fault.c	(revision 665903719ace3b07b3fc2f8d58eb880c7ce27b8d)
@@ -83,5 +83,5 @@
  *
  * @return Type of access into memory, PF_ACCESS_EXEC if no memory access is
- * 	   requested.
+ *	   requested.
  */
 static pf_access_t get_memory_access_type(uint32_t instr_addr,
@@ -125,5 +125,5 @@
 		{ 0x0fb00000, 0x01000000, PF_ACCESS_WRITE },
 	};
-	uint32_t inst = *(uint32_t*)instr_addr;
+	const uint32_t inst = *(uint32_t*)instr_addr;
 	for (unsigned i = 0; i < sizeof(ls_inst) / sizeof(ls_inst[0]); ++i) {
 		if ((inst & ls_inst[i].mask) == ls_inst[i].value) {
@@ -134,5 +134,5 @@
 	panic("page_fault - instruction doesn't access memory "
 	    "(instr_code: %#0" PRIx32 ", badvaddr:%p).",
-	    instr_union.pc, (void *) badvaddr);
+	    inst, (void *) badvaddr);
 }