#include <amd64/regsasm.h>

.global amd64_do_sched
amd64_do_sched:
  movq %rsi, %cr3
  movq %rdi, %rsp
  pop_regs
  addq $16, %rsp
  iretq