Index: kernel/arch/arm32/include/exception.h
===================================================================
--- kernel/arch/arm32/include/exception.h	(revision 8e374ea71403569c82edd76a6713a88b1a9d12a8)
+++ kernel/arch/arm32/include/exception.h	(revision c19aa612473b0cd0cc4282fabaaaea0f41fbb0b7)
@@ -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);