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);