__remove_hrtimer 1037 kernel/time/hrtimer.c 		__remove_hrtimer(timer, base, state, reprogram);
__remove_hrtimer 1499 kernel/time/hrtimer.c 	__remove_hrtimer(timer, base, HRTIMER_STATE_INACTIVE, 0);
__remove_hrtimer 2028 kernel/time/hrtimer.c 		__remove_hrtimer(timer, old_base, HRTIMER_STATE_ENQUEUED, 0);