timer: arm: Mark ticks as unused

When TICKLESS_KERNEL is disabled the parameter ticks is not used.

Signed-off-by: Flavio Ceolin <flavio.ceolin@intel.com>

drivers/timer/arm_arch_timer.c

@@ -89,6 +89,7 @@ void z_clock_set_timeout(int32_t ticks, bool idle)
 	k_spin_unlock(&lock, key);
 
 #else  /* CONFIG_TICKLESS_KERNEL */
+	ARG_UNUSED(ticks);
 	ARG_UNUSED(idle);
 #endif
 }