Symbol: u64_u32_load_copy
kernel/sched/fair.c
4912
return u64_u32_load_copy(cfs_rq->avg.last_update_time,
kernel/sched/sched.h
671
# define u64_u32_load(var) u64_u32_load_copy(var, var##_copy)