为什么swtch函数没有保存xv6中的所有寄存器值？

Question

我想知道为什么xv6上的函数开关没有保存所有寄存器。 我认为在x86中它是不同的。 有人可以向我解释一下吗？