Symbol: vtime_state_fetch
kernel/sched/cputime.c
1026
state = vtime_state_fetch(vtime, cpu);
kernel/sched/cputime.c
936
state = vtime_state_fetch(vtime, cpu);