diff --git a/arch/arc/kernel/time.c b/arch/arc/kernel/time.c
index 9307f87f25728e63229e7b80d69b739c3cbea59b..71493f75ae6bd61e3418234e76caf9f8579e3d12 100644
--- a/arch/arc/kernel/time.c
+++ b/arch/arc/kernel/time.c
@@ -60,15 +60,6 @@
 
 /********** 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
  */
@@ -78,7 +69,8 @@ int arc_counter_setup(void)
 	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)