#ifndef _KERNEL_AMD64_SCHED_H
#define _KERNEL_AMD64_SCHED_H

/// Perform process context switch
void do_sched1 (void* regs, void* cr3);

#endif // _KERNEL_AMD64_SCHED_H