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