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