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