Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (c) 1997-2016 Wind River Systems, Inc. |
| 3 | * |
David B. Kinder | ac74d8b | 2017-01-18 17:01:01 -0800 | [diff] [blame] | 4 | * SPDX-License-Identifier: Apache-2.0 |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 5 | */ |
| 6 | |
Allan Stephens | 45bfa37 | 2016-10-12 12:39:42 -0500 | [diff] [blame] | 7 | #include <kernel.h> |
Anas Nashif | 569f0b4 | 2016-12-17 13:18:45 -0500 | [diff] [blame] | 8 | #include <debug/object_tracing_common.h> |
Allan Stephens | e7d2cc2 | 2016-10-19 16:10:46 -0500 | [diff] [blame] | 9 | #include <init.h> |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 10 | #include <wait_q.h> |
Andrew Boie | a354d49 | 2017-09-29 16:22:28 -0700 | [diff] [blame] | 11 | #include <syscall_handler.h> |
Flavio Ceolin | 76b3518 | 2018-12-16 12:48:29 -0800 | [diff] [blame] | 12 | #include <stdbool.h> |
Andy Ross | b29fb22 | 2019-02-05 16:19:30 -0800 | [diff] [blame] | 13 | #include <spinlock.h> |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 14 | |
Andy Ross | b29fb22 | 2019-02-05 16:19:30 -0800 | [diff] [blame] | 15 | static struct k_spinlock lock; |
| 16 | |
Anas Nashif | 2f203c2 | 2016-12-18 06:57:45 -0500 | [diff] [blame] | 17 | #ifdef CONFIG_OBJECT_TRACING |
Allan Stephens | e7d2cc2 | 2016-10-19 16:10:46 -0500 | [diff] [blame] | 18 | |
Maciek Borzecki | 059544d | 2017-05-18 12:16:45 +0200 | [diff] [blame] | 19 | struct k_timer *_trace_list_k_timer; |
| 20 | |
Allan Stephens | e7d2cc2 | 2016-10-19 16:10:46 -0500 | [diff] [blame] | 21 | /* |
| 22 | * Complete initialization of statically defined timers. |
| 23 | */ |
| 24 | static int init_timer_module(struct device *dev) |
| 25 | { |
| 26 | ARG_UNUSED(dev); |
| 27 | |
Nicolas Pitre | aa922885 | 2019-06-03 13:01:43 -0400 | [diff] [blame] | 28 | Z_STRUCT_SECTION_FOREACH(k_timer, timer) { |
Allan Stephens | e7d2cc2 | 2016-10-19 16:10:46 -0500 | [diff] [blame] | 29 | SYS_TRACING_OBJ_INIT(k_timer, timer); |
| 30 | } |
| 31 | return 0; |
| 32 | } |
| 33 | |
Andrew Boie | 0b474ee | 2016-11-08 11:06:55 -0800 | [diff] [blame] | 34 | SYS_INIT(init_timer_module, PRE_KERNEL_1, CONFIG_KERNEL_INIT_PRIORITY_OBJECTS); |
Allan Stephens | e7d2cc2 | 2016-10-19 16:10:46 -0500 | [diff] [blame] | 35 | |
Anas Nashif | 2f203c2 | 2016-12-18 06:57:45 -0500 | [diff] [blame] | 36 | #endif /* CONFIG_OBJECT_TRACING */ |
Allan Stephens | e7d2cc2 | 2016-10-19 16:10:46 -0500 | [diff] [blame] | 37 | |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 38 | /** |
Allan Stephens | 45bfa37 | 2016-10-12 12:39:42 -0500 | [diff] [blame] | 39 | * @brief Handle expiration of a kernel timer object. |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 40 | * |
Allan Stephens | 45bfa37 | 2016-10-12 12:39:42 -0500 | [diff] [blame] | 41 | * @param t Timeout used by the timer. |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 42 | * |
| 43 | * @return N/A |
| 44 | */ |
Patrik Flykt | 4344e27 | 2019-03-08 14:19:05 -0700 | [diff] [blame] | 45 | void z_timer_expiration_handler(struct _timeout *t) |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 46 | { |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 47 | struct k_timer *timer = CONTAINER_OF(t, struct k_timer, timeout); |
Benjamin Walsh | b889fa8 | 2016-12-07 22:39:31 -0500 | [diff] [blame] | 48 | struct k_thread *thread; |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 49 | |
Allan Stephens | 6c98c4d | 2016-10-17 14:34:53 -0500 | [diff] [blame] | 50 | /* |
| 51 | * if the timer is periodic, start it again; don't add _TICK_ALIGN |
| 52 | * since we're already aligned to a tick boundary |
| 53 | */ |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 54 | if (timer->period > 0) { |
Patrik Flykt | 4344e27 | 2019-03-08 14:19:05 -0700 | [diff] [blame] | 55 | z_add_timeout(&timer->timeout, z_timer_expiration_handler, |
Andy Ross | fe82f1c | 2018-09-26 15:14:21 -0700 | [diff] [blame] | 56 | timer->period); |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 57 | } |
| 58 | |
Allan Stephens | 45bfa37 | 2016-10-12 12:39:42 -0500 | [diff] [blame] | 59 | /* update timer's status */ |
Patrik Flykt | 24d7143 | 2019-03-26 19:57:45 -0600 | [diff] [blame] | 60 | timer->status += 1U; |
Allan Stephens | 45bfa37 | 2016-10-12 12:39:42 -0500 | [diff] [blame] | 61 | |
| 62 | /* invoke timer expiry function */ |
Flavio Ceolin | 76b3518 | 2018-12-16 12:48:29 -0800 | [diff] [blame] | 63 | if (timer->expiry_fn != NULL) { |
Allan Stephens | 45bfa37 | 2016-10-12 12:39:42 -0500 | [diff] [blame] | 64 | timer->expiry_fn(timer); |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 65 | } |
Benjamin Walsh | b889fa8 | 2016-12-07 22:39:31 -0500 | [diff] [blame] | 66 | |
Patrik Flykt | 4344e27 | 2019-03-08 14:19:05 -0700 | [diff] [blame] | 67 | thread = z_waitq_head(&timer->wait_q); |
Benjamin Walsh | b889fa8 | 2016-12-07 22:39:31 -0500 | [diff] [blame] | 68 | |
Flavio Ceolin | 4218d5f | 2018-09-17 09:39:51 -0700 | [diff] [blame] | 69 | if (thread == NULL) { |
Benjamin Walsh | b889fa8 | 2016-12-07 22:39:31 -0500 | [diff] [blame] | 70 | return; |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 71 | } |
Allan Stephens | 45bfa37 | 2016-10-12 12:39:42 -0500 | [diff] [blame] | 72 | |
Benjamin Walsh | b889fa8 | 2016-12-07 22:39:31 -0500 | [diff] [blame] | 73 | /* |
Andy Ross | 22642cf | 2018-04-02 18:24:58 -0700 | [diff] [blame] | 74 | * Interrupts _DO NOT_ have to be locked in this specific |
| 75 | * instance of thread unpending because a) this is the only |
| 76 | * place a thread can be taken off this pend queue, and b) the |
| 77 | * only place a thread can be put on the pend queue is at |
| 78 | * thread level, which of course cannot interrupt the current |
| 79 | * context. |
Benjamin Walsh | b889fa8 | 2016-12-07 22:39:31 -0500 | [diff] [blame] | 80 | */ |
Patrik Flykt | 4344e27 | 2019-03-08 14:19:05 -0700 | [diff] [blame] | 81 | z_unpend_thread_no_timeout(thread); |
Benjamin Walsh | b889fa8 | 2016-12-07 22:39:31 -0500 | [diff] [blame] | 82 | |
Patrik Flykt | 4344e27 | 2019-03-08 14:19:05 -0700 | [diff] [blame] | 83 | z_ready_thread(thread); |
Benjamin Walsh | b889fa8 | 2016-12-07 22:39:31 -0500 | [diff] [blame] | 84 | |
Patrik Flykt | 4344e27 | 2019-03-08 14:19:05 -0700 | [diff] [blame] | 85 | z_set_thread_return_value(thread, 0); |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 86 | } |
| 87 | |
| 88 | |
Allan Stephens | 45bfa37 | 2016-10-12 12:39:42 -0500 | [diff] [blame] | 89 | void k_timer_init(struct k_timer *timer, |
Flavio Ceolin | 118715c | 2018-11-16 19:52:37 -0800 | [diff] [blame] | 90 | k_timer_expiry_t expiry_fn, |
| 91 | k_timer_stop_t stop_fn) |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 92 | { |
Allan Stephens | 45bfa37 | 2016-10-12 12:39:42 -0500 | [diff] [blame] | 93 | timer->expiry_fn = expiry_fn; |
| 94 | timer->stop_fn = stop_fn; |
Patrik Flykt | 24d7143 | 2019-03-26 19:57:45 -0600 | [diff] [blame] | 95 | timer->status = 0U; |
Allan Stephens | 45bfa37 | 2016-10-12 12:39:42 -0500 | [diff] [blame] | 96 | |
Patrik Flykt | 4344e27 | 2019-03-08 14:19:05 -0700 | [diff] [blame] | 97 | z_waitq_init(&timer->wait_q); |
| 98 | z_init_timeout(&timer->timeout, z_timer_expiration_handler); |
Allan Stephens | e7d2cc2 | 2016-10-19 16:10:46 -0500 | [diff] [blame] | 99 | SYS_TRACING_OBJ_INIT(k_timer, timer); |
Allan Stephens | 45bfa37 | 2016-10-12 12:39:42 -0500 | [diff] [blame] | 100 | |
Maciek Borzecki | 4fef760 | 2017-05-18 08:49:50 +0200 | [diff] [blame] | 101 | timer->user_data = NULL; |
Andrew Boie | 945af95 | 2017-08-22 13:15:23 -0700 | [diff] [blame] | 102 | |
Patrik Flykt | 4344e27 | 2019-03-08 14:19:05 -0700 | [diff] [blame] | 103 | z_object_init(timer); |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 104 | } |
| 105 | |
| 106 | |
Patrik Flykt | 4344e27 | 2019-03-08 14:19:05 -0700 | [diff] [blame] | 107 | void z_impl_k_timer_start(struct k_timer *timer, s32_t duration, s32_t period) |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 108 | { |
| 109 | __ASSERT(duration >= 0 && period >= 0 && |
| 110 | (duration != 0 || period != 0), "invalid parameters\n"); |
| 111 | |
Kumar Gala | cc334c7 | 2017-04-21 10:55:34 -0500 | [diff] [blame] | 112 | volatile s32_t period_in_ticks, duration_in_ticks; |
Benjamin Walsh | 6ca6c28 | 2016-12-09 13:39:00 -0500 | [diff] [blame] | 113 | |
Patrik Flykt | 4344e27 | 2019-03-08 14:19:05 -0700 | [diff] [blame] | 114 | period_in_ticks = z_ms_to_ticks(period); |
| 115 | duration_in_ticks = z_ms_to_ticks(duration); |
Benjamin Walsh | 6ca6c28 | 2016-12-09 13:39:00 -0500 | [diff] [blame] | 116 | |
Patrik Flykt | 4344e27 | 2019-03-08 14:19:05 -0700 | [diff] [blame] | 117 | (void)z_abort_timeout(&timer->timeout); |
Benjamin Walsh | 6ca6c28 | 2016-12-09 13:39:00 -0500 | [diff] [blame] | 118 | timer->period = period_in_ticks; |
Patrik Flykt | 24d7143 | 2019-03-26 19:57:45 -0600 | [diff] [blame] | 119 | timer->status = 0U; |
Patrik Flykt | 4344e27 | 2019-03-08 14:19:05 -0700 | [diff] [blame] | 120 | z_add_timeout(&timer->timeout, z_timer_expiration_handler, |
Andy Ross | fe82f1c | 2018-09-26 15:14:21 -0700 | [diff] [blame] | 121 | duration_in_ticks); |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 122 | } |
| 123 | |
Andrew Boie | a354d49 | 2017-09-29 16:22:28 -0700 | [diff] [blame] | 124 | #ifdef CONFIG_USERSPACE |
Andy Ross | 643701a | 2019-08-13 12:58:38 -0700 | [diff] [blame] | 125 | static inline void z_vrfy_k_timer_start(struct k_timer *timer, |
| 126 | s32_t duration, s32_t period) |
Andrew Boie | a354d49 | 2017-09-29 16:22:28 -0700 | [diff] [blame] | 127 | { |
Andrew Boie | 8345e5e | 2018-05-04 15:57:57 -0700 | [diff] [blame] | 128 | Z_OOPS(Z_SYSCALL_VERIFY(duration >= 0 && period >= 0 && |
| 129 | (duration != 0 || period != 0))); |
| 130 | Z_OOPS(Z_SYSCALL_OBJ(timer, K_OBJ_TIMER)); |
Andy Ross | 6564974 | 2019-08-06 13:34:31 -0700 | [diff] [blame] | 131 | z_impl_k_timer_start(timer, duration, period); |
Andrew Boie | a354d49 | 2017-09-29 16:22:28 -0700 | [diff] [blame] | 132 | } |
Andy Ross | 6564974 | 2019-08-06 13:34:31 -0700 | [diff] [blame] | 133 | #include <syscalls/k_timer_start_mrsh.c> |
Andrew Boie | a354d49 | 2017-09-29 16:22:28 -0700 | [diff] [blame] | 134 | #endif |
| 135 | |
Patrik Flykt | 4344e27 | 2019-03-08 14:19:05 -0700 | [diff] [blame] | 136 | void z_impl_k_timer_stop(struct k_timer *timer) |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 137 | { |
Patrik Flykt | 4344e27 | 2019-03-08 14:19:05 -0700 | [diff] [blame] | 138 | int inactive = z_abort_timeout(&timer->timeout) != 0; |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 139 | |
Benjamin Walsh | d211a52 | 2016-12-06 11:44:01 -0500 | [diff] [blame] | 140 | if (inactive) { |
Allan Stephens | 45bfa37 | 2016-10-12 12:39:42 -0500 | [diff] [blame] | 141 | return; |
| 142 | } |
| 143 | |
Flavio Ceolin | 76b3518 | 2018-12-16 12:48:29 -0800 | [diff] [blame] | 144 | if (timer->stop_fn != NULL) { |
Allan Stephens | 45bfa37 | 2016-10-12 12:39:42 -0500 | [diff] [blame] | 145 | timer->stop_fn(timer); |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 146 | } |
| 147 | |
Patrik Flykt | 4344e27 | 2019-03-08 14:19:05 -0700 | [diff] [blame] | 148 | struct k_thread *pending_thread = z_unpend1_no_timeout(&timer->wait_q); |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 149 | |
Flavio Ceolin | 4218d5f | 2018-09-17 09:39:51 -0700 | [diff] [blame] | 150 | if (pending_thread != NULL) { |
Patrik Flykt | 4344e27 | 2019-03-08 14:19:05 -0700 | [diff] [blame] | 151 | z_ready_thread(pending_thread); |
| 152 | z_reschedule_unlocked(); |
Allan Stephens | 45bfa37 | 2016-10-12 12:39:42 -0500 | [diff] [blame] | 153 | } |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 154 | } |
| 155 | |
Andrew Boie | a354d49 | 2017-09-29 16:22:28 -0700 | [diff] [blame] | 156 | #ifdef CONFIG_USERSPACE |
Andy Ross | 6564974 | 2019-08-06 13:34:31 -0700 | [diff] [blame] | 157 | static inline void z_vrfy_k_timer_stop(struct k_timer *timer) |
| 158 | { |
| 159 | Z_OOPS(Z_SYSCALL_OBJ(timer, K_OBJ_TIMER)); |
| 160 | z_impl_k_timer_stop(timer); |
| 161 | } |
| 162 | #include <syscalls/k_timer_stop_mrsh.c> |
Andrew Boie | a354d49 | 2017-09-29 16:22:28 -0700 | [diff] [blame] | 163 | #endif |
| 164 | |
Patrik Flykt | 4344e27 | 2019-03-08 14:19:05 -0700 | [diff] [blame] | 165 | u32_t z_impl_k_timer_status_get(struct k_timer *timer) |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 166 | { |
Andy Ross | b29fb22 | 2019-02-05 16:19:30 -0800 | [diff] [blame] | 167 | k_spinlock_key_t key = k_spin_lock(&lock); |
Kumar Gala | cc334c7 | 2017-04-21 10:55:34 -0500 | [diff] [blame] | 168 | u32_t result = timer->status; |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 169 | |
Patrik Flykt | 24d7143 | 2019-03-26 19:57:45 -0600 | [diff] [blame] | 170 | timer->status = 0U; |
Andy Ross | b29fb22 | 2019-02-05 16:19:30 -0800 | [diff] [blame] | 171 | k_spin_unlock(&lock, key); |
Allan Stephens | 45bfa37 | 2016-10-12 12:39:42 -0500 | [diff] [blame] | 172 | |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 173 | return result; |
| 174 | } |
| 175 | |
Andrew Boie | a354d49 | 2017-09-29 16:22:28 -0700 | [diff] [blame] | 176 | #ifdef CONFIG_USERSPACE |
Andy Ross | 6564974 | 2019-08-06 13:34:31 -0700 | [diff] [blame] | 177 | static inline u32_t z_vrfy_k_timer_status_get(struct k_timer *timer) |
| 178 | { |
| 179 | Z_OOPS(Z_SYSCALL_OBJ(timer, K_OBJ_TIMER)); |
| 180 | return z_impl_k_timer_status_get(timer); |
| 181 | } |
| 182 | #include <syscalls/k_timer_status_get_mrsh.c> |
Andrew Boie | a354d49 | 2017-09-29 16:22:28 -0700 | [diff] [blame] | 183 | #endif |
| 184 | |
Patrik Flykt | 4344e27 | 2019-03-08 14:19:05 -0700 | [diff] [blame] | 185 | u32_t z_impl_k_timer_status_sync(struct k_timer *timer) |
Allan Stephens | 45bfa37 | 2016-10-12 12:39:42 -0500 | [diff] [blame] | 186 | { |
Patrik Flykt | 4344e27 | 2019-03-08 14:19:05 -0700 | [diff] [blame] | 187 | __ASSERT(!z_is_in_isr(), ""); |
Allan Stephens | 45bfa37 | 2016-10-12 12:39:42 -0500 | [diff] [blame] | 188 | |
Andy Ross | b29fb22 | 2019-02-05 16:19:30 -0800 | [diff] [blame] | 189 | k_spinlock_key_t key = k_spin_lock(&lock); |
Kumar Gala | cc334c7 | 2017-04-21 10:55:34 -0500 | [diff] [blame] | 190 | u32_t result = timer->status; |
Allan Stephens | 45bfa37 | 2016-10-12 12:39:42 -0500 | [diff] [blame] | 191 | |
Patrik Flykt | 24d7143 | 2019-03-26 19:57:45 -0600 | [diff] [blame] | 192 | if (result == 0U) { |
Patrik Flykt | 4344e27 | 2019-03-08 14:19:05 -0700 | [diff] [blame] | 193 | if (!z_is_inactive_timeout(&timer->timeout)) { |
Allan Stephens | 45bfa37 | 2016-10-12 12:39:42 -0500 | [diff] [blame] | 194 | /* wait for timer to expire or stop */ |
Patrik Flykt | 4344e27 | 2019-03-08 14:19:05 -0700 | [diff] [blame] | 195 | (void)z_pend_curr(&lock, key, &timer->wait_q, K_FOREVER); |
Allan Stephens | 45bfa37 | 2016-10-12 12:39:42 -0500 | [diff] [blame] | 196 | |
| 197 | /* get updated timer status */ |
Andy Ross | b29fb22 | 2019-02-05 16:19:30 -0800 | [diff] [blame] | 198 | key = k_spin_lock(&lock); |
Allan Stephens | 45bfa37 | 2016-10-12 12:39:42 -0500 | [diff] [blame] | 199 | result = timer->status; |
| 200 | } else { |
| 201 | /* timer is already stopped */ |
| 202 | } |
| 203 | } else { |
| 204 | /* timer has already expired at least once */ |
| 205 | } |
| 206 | |
Patrik Flykt | 24d7143 | 2019-03-26 19:57:45 -0600 | [diff] [blame] | 207 | timer->status = 0U; |
Andy Ross | b29fb22 | 2019-02-05 16:19:30 -0800 | [diff] [blame] | 208 | k_spin_unlock(&lock, key); |
Allan Stephens | 45bfa37 | 2016-10-12 12:39:42 -0500 | [diff] [blame] | 209 | |
| 210 | return result; |
| 211 | } |
| 212 | |
Andrew Boie | a354d49 | 2017-09-29 16:22:28 -0700 | [diff] [blame] | 213 | #ifdef CONFIG_USERSPACE |
Andy Ross | 6564974 | 2019-08-06 13:34:31 -0700 | [diff] [blame] | 214 | static inline u32_t z_vrfy_k_timer_status_sync(struct k_timer *timer) |
Andrew Boie | 225e4c0 | 2017-10-12 09:54:26 -0700 | [diff] [blame] | 215 | { |
Andrew Boie | 8345e5e | 2018-05-04 15:57:57 -0700 | [diff] [blame] | 216 | Z_OOPS(Z_SYSCALL_OBJ(timer, K_OBJ_TIMER)); |
Andy Ross | 6564974 | 2019-08-06 13:34:31 -0700 | [diff] [blame] | 217 | return z_impl_k_timer_status_sync(timer); |
Andrew Boie | 225e4c0 | 2017-10-12 09:54:26 -0700 | [diff] [blame] | 218 | } |
Andy Ross | 6564974 | 2019-08-06 13:34:31 -0700 | [diff] [blame] | 219 | #include <syscalls/k_timer_status_sync_mrsh.c> |
| 220 | |
| 221 | static inline u32_t z_vrfy_k_timer_remaining_get(struct k_timer *timer) |
| 222 | { |
| 223 | Z_OOPS(Z_SYSCALL_OBJ(timer, K_OBJ_TIMER)); |
| 224 | return z_impl_k_timer_remaining_get(timer); |
| 225 | } |
| 226 | #include <syscalls/k_timer_remaining_get_mrsh.c> |
| 227 | |
| 228 | static inline void *z_vrfy_k_timer_user_data_get(struct k_timer *timer) |
| 229 | { |
| 230 | Z_OOPS(Z_SYSCALL_OBJ(timer, K_OBJ_TIMER)); |
| 231 | return z_impl_k_timer_user_data_get(timer); |
| 232 | } |
| 233 | #include <syscalls/k_timer_user_data_get_mrsh.c> |
| 234 | |
Andy Ross | 643701a | 2019-08-13 12:58:38 -0700 | [diff] [blame] | 235 | static inline void z_vrfy_k_timer_user_data_set(struct k_timer *timer, |
| 236 | void *user_data) |
Andy Ross | 6564974 | 2019-08-06 13:34:31 -0700 | [diff] [blame] | 237 | { |
| 238 | Z_OOPS(Z_SYSCALL_OBJ(timer, K_OBJ_TIMER)); |
| 239 | z_impl_k_timer_user_data_set(timer, user_data); |
| 240 | } |
| 241 | #include <syscalls/k_timer_user_data_set_mrsh.c> |
| 242 | |
Andrew Boie | 225e4c0 | 2017-10-12 09:54:26 -0700 | [diff] [blame] | 243 | #endif |