Index: kernel/arch/arm32/include/exception.h
===================================================================
--- kernel/arch/arm32/include/exception.h	(revision 66fcba2c00ff2213a5af786a15674e30a7c9c92e)
+++ kernel/arch/arm32/include/exception.h	(revision 38e5675bb48aaa4f2c1af529b78aae5fc11735db)
@@ -28,5 +28,5 @@
  */
 
-/** @addtogroup arm32	
+/** @addtogroup arm32
  * @{
  */
@@ -141,5 +141,5 @@
 extern void install_exception_handlers(void);
 extern void exception_init(void);
-extern void print_istate(istate_t *istate);
+extern void decode_istate(istate_t *istate);
 extern void reset_exception_entry(void);
 extern void irq_exception_entry(void);