Originariamente inviato da robboso
tcb_t *CurrentThread;
cause=CurrentThread.proc_state.reg_a0; //anche cause=CurrentThread->proc_state.reg_a0; da lo stesso errore
cause=CurrentThread->proc_state->reg_a0;