- xorq %rdi,%rdi /* return zero (no old thread) */
- call EXT(thread_continue)
+ movq KSS_RSP(%rcx),%rsp /* switch stacks */
+ movq KSS_RBX(%rcx),%rbx /* restore registers */
+ movq KSS_RBP(%rcx),%rbp
+ movq KSS_R12(%rcx),%r12
+ movq KSS_R13(%rcx),%r13
+ movq KSS_R14(%rcx),%r14
+ movq KSS_R15(%rcx),%r15