diff --git a/include/kernel.h b/include/kernel.h index eea4e62a172..9c353d025d3 100644 --- a/include/kernel.h +++ b/include/kernel.h @@ -2024,9 +2024,9 @@ static inline void z_impl_k_timer_user_data_set(struct k_timer *timer, * * @return The user data. */ -__syscall void *k_timer_user_data_get(struct k_timer *timer); +__syscall void *k_timer_user_data_get(const struct k_timer *timer); -static inline void *z_impl_k_timer_user_data_get(struct k_timer *timer) +static inline void *z_impl_k_timer_user_data_get(const struct k_timer *timer) { return timer->user_data; } diff --git a/kernel/timer.c b/kernel/timer.c index cc1c9182c50..d338c172220 100644 --- a/kernel/timer.c +++ b/kernel/timer.c @@ -256,7 +256,7 @@ static inline k_ticks_t z_vrfy_k_timer_expires_ticks(struct k_timer *timer) } #include -static inline void *z_vrfy_k_timer_user_data_get(struct k_timer *timer) +static inline void *z_vrfy_k_timer_user_data_get(const struct k_timer *timer) { Z_OOPS(Z_SYSCALL_OBJ(timer, K_OBJ_TIMER)); return z_impl_k_timer_user_data_get(timer);