Symbol: scx_alloc_free_idx
tools/sched_ext/scx_sdt.bpf.c
493
scx_alloc_free_idx(alloc, idx);
tools/sched_ext/scx_sdt.bpf.c
589
scx_alloc_free_idx(&scx_task_allocator, mval->tid.idx);
tools/sched_ext/scx_sdt.h
111
int scx_alloc_free_idx(struct scx_allocator *alloc, __u64 idx);