Symbol: __shr_u64
kernel/sched/fair.c
1628
__shr_u64(&rq->cpu_runtime, n);
kernel/sched/fair.c
1634
__shr_u64(&pcpu_sched->runtime, n);