arm: Delete unused arm_exc_undefined()

2026-08-25 06:22:23 +08:00 · 2013-01-07 15:07:39 +01:00
parent b41f2e226b
commit 31eebc97e0
1 changed files with 0 additions and 2 deletions
@@ -570,8 +570,6 @@ void bsp_interrupt_dispatch( void );

 void arm_exc_interrupt( void );

-void arm_exc_undefined( void );
-
 /** @} */

 /* XXX This is out of date */