#include <amd64/regsasm.h>

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