#include <amd64/sched.h>
#include <sys/mm.h>

void do_sched (void* regs, struct pd* pd) { amd64_do_sched (regs, (void*)pd->cr3_paddr); }