9.4对于stvec寄存器的描述似乎有误 about mit6.s081 HOT 2 OPEN

对的，PC 的值是保存在 sepc 中，stvec 保存的应该是 trampoline.S 的起始地址。

from mit6.s081.

确实。教材4.1:

• stvec: The kernel writes the address of its trap handler here; the RISC-V jumps here to handle a trap.
• sepc: When a trap occurs, RISC-V saves the program counter here (since the pc is then overwritten with stvec). The sret (return from trap) instruction copies sepc to the pc. The kernel can write to sepc to control where sret goes.

from mit6.s081.