Symbol: dispatch_dequeue_locked
kernel/sched/ext.c
1905
dispatch_dequeue_locked(p, src_dsq);
kernel/sched/ext.c
4033
dispatch_dequeue_locked(p, donor_dsq);