diff --git a/arch/risc-v/src/common/riscv_exception.c b/arch/risc-v/src/common/riscv_exception.c index b15bec514de..05f433f4d03 100644 --- a/arch/risc-v/src/common/riscv_exception.c +++ b/arch/risc-v/src/common/riscv_exception.c @@ -106,7 +106,9 @@ int riscv_exception(int mcause, void *regs, void *args) if (((tcb->flags & TCB_FLAG_TTYPE_MASK) != TCB_FLAG_TTYPE_KERNEL) && ((tcb->flags & TCB_FLAG_SYSCALL) == false)) { - _alert("Segmentation fault in PID %d: %s\n", + struct tcb_s *ptcb = nxsched_get_tcb(tcb->group->tg_pid); + + _alert("Segmentation fault in %s (PID %d: %s)\n", get_task_name(ptcb), tcb->pid, get_task_name(tcb)); tcb->flags |= TCB_FLAG_FORCED_CANCEL;