#include <amd64/msr-index.h>
#include <amd64/msr.h>
#include <amd64/sched.h>
#include <libk/std.h>
#include <proc/proc.h>
#include <sys/mm.h>
#include <sys/smp.h>

void do_sched (struct proc* proc) {
  thiscpu->tss.rsp0 = proc->pdata.kernel_stack;
  thiscpu->syscall_kernel_stack = proc->pdata.kernel_stack;

  amd64_do_sched ((void*)&proc->pdata.regs, (void*)proc->pd.cr3_paddr);
}
