Symbol: rcu_tasks_lazy_time
kernel/rcu/tasks.h
324
mod_timer(&rtpcp->lazy_timer, rcu_tasks_lazy_time(rtp));
kernel/rcu/tasks.h
380
mod_timer(&rtpcp->lazy_timer, rcu_tasks_lazy_time(rtp));