That's an odd way of writing it.
Don't we have a per-cpu segment here? I'd much rather just see it do
something like this (_before_ restoring the regular registers)
# restore regular regs
# skip eip/esp to get at eflags
# restore rsp/rip
but I haven't thought deeply about it. Maybe there's something wrong with