arm_timer         665 kernel/time/posix-cpu-timers.c 		arm_timer(timer);
arm_timer        1026 kernel/time/posix-cpu-timers.c 	arm_timer(timer);