Symbol: sched_core_cookie
kernel/sched/core_sched.c
15
struct sched_core_cookie *ck = kmalloc_obj(*ck);
kernel/sched/core_sched.c
27
struct sched_core_cookie *ptr = (void *)cookie;
kernel/sched/core_sched.c
37
struct sched_core_cookie *ptr = (void *)cookie;