Signed-off-by: Vineet Gupta <vgupta@synopsys.com>
 
 /********** Clock Source Device *********/
 
-static bool is_usable_as_clocksource(void)
-{
-#ifdef CONFIG_SMP
-       return 0;
-#else
-       return 1;
-#endif
-}
-
 /*
  * set 32bit TIMER1 to keep counting monotonically and wraparound
  */
        write_aux_reg(ARC_REG_TIMER1_CNT, 0);
        write_aux_reg(ARC_REG_TIMER1_CTRL, TIMER_CTRL_NH);
 
-       return is_usable_as_clocksource();
+       /* Not usable in SMP */
+       return !IS_ENABLED(CONFIG_SMP);
 }
 
 static cycle_t arc_counter_read(struct clocksource *cs)