#include "cpu/regs.S"

.global proc_switch
proc_switch:
  movq %rsi, %cr3
  mov %rdi, %rsp
  _pop_regs
  add $0x10, %rsp
  iretq