EXTERN pxCurrentTCB\r
EXTERN ulPortTrapHandler\r
EXTERN vTaskSwitchContext\r
+ EXTERN xTaskIncrementTick\r
EXTERN Timer_IRQHandler\r
EXTERN pullMachineTimerCompareRegister\r
EXTERN pullNextTime\r
EXTERN uxTimerIncrementsForOneTick /* size_t type so 32-bit on 32-bit core and 64-bits on 64-bit core. */\r
EXTERN xISRStackTop\r
- EXTERN xTaskIncrementTick\r
EXTERN portasmHANDLE_INTERRUPT\r
\r
/*-----------------------------------------------------------*/\r
j processed_source\r
\r
is_exception:\r
- ebreak\r
- j is_exception\r
+ csrr t0, CSR_MCAUSE /* For viewing in the debugger only. */\r
+ csrr t1, CSR_MEPC /* For viewing in the debugger only */\r
+ csrr t2, CSR_MSTATUS\r
+ j is_exception /* No other exceptions handled yet. */\r
\r
as_yet_unhandled:\r
- ebreak\r
+ csrr t0, mcause /* For viewing in the debugger only. */\r
j as_yet_unhandled\r
\r
processed_source:\r