Index: kernel/arch/arm32/include/exception.h
===================================================================
--- kernel/arch/arm32/include/exception.h	(revision 8e374ea71403569c82edd76a6713a88b1a9d12a8)
+++ kernel/arch/arm32/include/exception.h	(revision 4fe907b9451912ec457f50c02ea022c9fd7bab92)
@@ -141,5 +141,4 @@
 extern void install_exception_handlers(void);
 extern void exception_init(void);
-extern void decode_istate(istate_t *istate);
 extern void reset_exception_entry(void);
 extern void irq_exception_entry(void);
Index: kernel/arch/arm32/src/exception.c
===================================================================
--- kernel/arch/arm32/src/exception.c	(revision 8e374ea71403569c82edd76a6713a88b1a9d12a8)
+++ kernel/arch/arm32/src/exception.c	(revision 4fe907b9451912ec457f50c02ea022c9fd7bab92)
@@ -173,5 +173,5 @@
  * @param istate Structure to be printed.
  */
-void decode_istate(istate_t *istate)
+void istate_decode(istate_t *istate)
 {
 	printf("r0 =%#0.8lx\tr1 =%#0.8lx\tr2 =%#0.8lx\tr3 =%#0.8lx\n",