#ifndef _KERNEL_SYS_SCHED_H
#define _KERNEL_SYS_SCHED_H

#include <libk/std.h>
#include <proc/proc.h>

void do_sched (struct proc* proc, spin_lock_t* cpu_lock, uint64_t lockflags);

#endif // _KERNEL_SYS_SCHED_H