diff options
Diffstat (limited to 'cc3200/hal/startup_gcc.c')
| -rw-r--r-- | cc3200/hal/startup_gcc.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cc3200/hal/startup_gcc.c b/cc3200/hal/startup_gcc.c index 2d364f87d..5dff9ffda 100644 --- a/cc3200/hal/startup_gcc.c +++ b/cc3200/hal/startup_gcc.c @@ -65,7 +65,7 @@ void ResetISR(void); #ifdef DEBUG static void NmiSR(void) __attribute__( ( naked ) ); static void FaultISR( void ) __attribute__( ( naked ) ); -void HardFault_HandlerC(unsigned long *hardfault_args); +void HardFault_HandlerC(uint32_t *pulFaultStackAddress); static void BusFaultHandler(void) __attribute__( ( naked ) ); #endif static void IntDefaultHandler(void) __attribute__( ( naked ) ); |