From cd0caced656320bb92ffdf1fa5521bd09dc12a69 Mon Sep 17 00:00:00 2001 From: Flavio Ceolin Date: Mon, 21 Dec 2020 12:39:04 -0800 Subject: [PATCH] timer: arm: idle is used when CONFIG_TICKLESS_KERNEL Only mark idle parameter unused when building without TICKLESS_KERNEL enabled. Signed-off-by: Flavio Ceolin --- drivers/timer/arm_arch_timer.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/drivers/timer/arm_arch_timer.c b/drivers/timer/arm_arch_timer.c index 599aef09f04..69a40331c92 100644 --- a/drivers/timer/arm_arch_timer.c +++ b/drivers/timer/arm_arch_timer.c @@ -62,8 +62,6 @@ int z_clock_driver_init(const struct device *device) void z_clock_set_timeout(int32_t ticks, bool idle) { - ARG_UNUSED(idle); - #if defined(CONFIG_TICKLESS_KERNEL) if (ticks == K_TICKS_FOREVER && idle) { @@ -90,6 +88,8 @@ void z_clock_set_timeout(int32_t ticks, bool idle) arm_arch_timer_set_irq_mask(false); k_spin_unlock(&lock, key); +#else /* CONFIG_TICKLESS_KERNEL */ + ARG_UNUSED(idle); #endif }