Symbol: get_cpu_itimer
kernel/time/itimer.c
89
get_cpu_itimer(tsk, CPUCLOCK_VIRT, value);
kernel/time/itimer.c
92
get_cpu_itimer(tsk, CPUCLOCK_PROF, value);