Symbol: __account_forceidle_time
include/linux/kernel_stat.h
141
extern void __account_forceidle_time(struct task_struct *tsk, u64 delta);
kernel/sched/core_sched.c
287
__account_forceidle_time(p, delta);