Searched refs:hardfault_args (Results 1 – 1 of 1) sorted by relevance
177 void FaultISR_C(uint32_t *hardfault_args) in FaultISR_C() argument193 stacked_r0 = ((unsigned int) hardfault_args[0]); in FaultISR_C()194 stacked_r1 = ((unsigned int) hardfault_args[1]); in FaultISR_C()195 stacked_r2 = ((unsigned int) hardfault_args[2]); in FaultISR_C()196 stacked_r3 = ((unsigned int) hardfault_args[3]); in FaultISR_C()197 stacked_r12 = ((unsigned int) hardfault_args[4]); in FaultISR_C()198 stacked_lr = ((unsigned int) hardfault_args[5]); in FaultISR_C()199 stacked_pc = ((unsigned int) hardfault_args[6]); in FaultISR_C()200 stacked_psr = ((unsigned int) hardfault_args[7]); in FaultISR_C()316 void FaultISR_C(uint32_t *hardfault_args) in FaultISR_C() argument