Changes in kernel/arch/arm32/include/exception.h [22a28a69:d99c1d2] in mainline

File:

• kernel/arch/arm32/include/exception.h (modified) (2 diffs)

kernel/arch/arm32/include/exception.h

@@ -28 +28 @@
  */
 
-/** @addtogroup arm32
+/** @addtogroup arm32   
  * @{
  */
@@ -141 +141 @@
 extern void install_exception_handlers(void);
 extern void exception_init(void);
+extern void print_istate(istate_t *istate);
 extern void reset_exception_entry(void);
 extern void irq_exception_entry(void);