#ifndef _KERNEL_SYS_SCHED_H
#define _KERNEL_SYS_SCHED_H

#include <sys/mm.h>

void do_sched (void* regs, struct pd* pd);

#endif // _KERNEL_SYS_SCHED_H