diff --git a/kernel/microkernel/k_timer.c b/kernel/microkernel/k_timer.c
index 712c64891e9..6b987f9ae01 100644
--- a/kernel/microkernel/k_timer.c
+++ b/kernel/microkernel/k_timer.c
@@ -251,7 +251,7 @@ void _k_timer_alloc(struct k_args *P)
 	struct k_timer *T;
 	struct k_args *A;
 
-	T = _Cget(&_k_timer_free);
+	GETTIMER(T);
 	P->Args.c1.timer = T;
 
 	if (T) {