#ifndef _KERNEL_AMD64_SCHED_H
#define _KERNEL_AMD64_SCHED_H

void amd64_do_sched (void* regs, void* cr3);

#endif // _KERNEL_AMD64_SCHED_H