Symbol: exception_kernexit
sys/arch/riscv/riscv/db_trace.c
265
extern char exception_kernexit[];
sys/arch/riscv/riscv/db_trace.c
267
if (((char *)ra == (char *)exception_kernexit)) {