Re: [PATCH] timer: remove code redundancy while calling get_nohz_timer_target()