Symbol: dispatch_dequeue
kernel/sched/ext/ext.c
2192
dispatch_dequeue(rq, p);
kernel/sched/ext/ext.c
2976
dispatch_dequeue(rq, p);
kernel/sched/ext/ext.c
4153
dispatch_dequeue(rq, p);