struct sched_core_cookie { … };
static unsigned long sched_core_alloc_cookie(void)
{ … }
static void sched_core_put_cookie(unsigned long cookie)
{ … }
static unsigned long sched_core_get_cookie(unsigned long cookie)
{ … }
static unsigned long sched_core_update_cookie(struct task_struct *p,
unsigned long cookie)
{ … }
static unsigned long sched_core_clone_cookie(struct task_struct *p)
{ … }
void sched_core_fork(struct task_struct *p)
{ … }
void sched_core_free(struct task_struct *p)
{ … }
static void __sched_core_set(struct task_struct *p, unsigned long cookie)
{ … }
int sched_core_share_pid(unsigned int cmd, pid_t pid, enum pid_type type,
unsigned long uaddr)
{ … }
#ifdef CONFIG_SCHEDSTATS
void __sched_core_account_forceidle(struct rq *rq)
{ … }
void __sched_core_tick(struct rq *rq)
{ … }
#endif