1561 	void (*expiry_fn)(struct k_timer *timer);
1564 	void (*stop_fn)(struct k_timer *timer);
1616 typedef void (*k_timer_expiry_t)(struct k_timer *timer);
1632 typedef void (*k_timer_stop_t)(struct k_timer *timer);
1658 void k_timer_init(struct k_timer *timer,
1676 __syscall void k_timer_start(struct k_timer *timer,
1695 __syscall void k_timer_stop(struct k_timer *timer);
1709 __syscall uint32_t k_timer_status_get(struct k_timer *timer);
1728 __syscall uint32_t k_timer_status_sync(struct k_timer *timer);
1742 __syscall k_ticks_t k_timer_expires_ticks(const struct k_timer *timer);
1745 				       const struct k_timer *timer)  in z_impl_k_timer_expires_ticks()  argument
1747 	return z_timeout_expires(&timer->timeout);  in z_impl_k_timer_expires_ticks()
1760 __syscall k_ticks_t k_timer_remaining_ticks(const struct k_timer *timer);
1763 				       const struct k_timer *timer)  in z_impl_k_timer_remaining_ticks()  argument
1765 	return z_timeout_remaining(&timer->timeout);  in z_impl_k_timer_remaining_ticks()
1778 static inline uint32_t k_timer_remaining_get(struct k_timer *timer)  in k_timer_remaining_get()  argument
1780 	return k_ticks_to_ms_floor32(k_timer_remaining_ticks(timer));  in k_timer_remaining_get()
1797 __syscall void k_timer_user_data_set(struct k_timer *timer, void *user_data);
1802 static inline void z_impl_k_timer_user_data_set(struct k_timer *timer,  in z_impl_k_timer_user_data_set()  argument
1805 	timer->user_data = user_data;  in z_impl_k_timer_user_data_set()
1815 __syscall void *k_timer_user_data_get(const struct k_timer *timer);
1817 static inline void *z_impl_k_timer_user_data_get(const struct k_timer *timer)  in z_impl_k_timer_user_data_get()  argument
1819 	return timer->user_data;  in z_impl_k_timer_user_data_get()