Symbol: __scx_cpu_to_cid
kernel/sched/ext/cid.c
193
if (__scx_cpu_to_cid(cpu) != -1)
kernel/sched/ext/cid.c
270
s32 cid = __scx_cpu_to_cid(cpu);
kernel/sched/ext/cid.h
141
return __scx_cpu_to_cid(cpu);
kernel/sched/ext/cid.h
283
return __scx_cpu_to_cid(cpu);