Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (c) 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 | |
| 7 | /** |
| 8 | * @file |
| 9 | * @brief Message queues. |
| 10 | */ |
| 11 | |
| 12 | |
| 13 | #include <kernel.h> |
Benjamin Walsh | f6ca7de | 2016-11-08 10:36:50 -0500 | [diff] [blame] | 14 | #include <kernel_structs.h> |
Anas Nashif | 569f0b4 | 2016-12-17 13:18:45 -0500 | [diff] [blame] | 15 | #include <debug/object_tracing_common.h> |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 16 | #include <toolchain.h> |
Anas Nashif | 397d29d | 2017-06-17 11:30:47 -0400 | [diff] [blame] | 17 | #include <linker/sections.h> |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 18 | #include <string.h> |
| 19 | #include <wait_q.h> |
| 20 | #include <misc/dlist.h> |
Allan Stephens | e7d2cc2 | 2016-10-19 16:10:46 -0500 | [diff] [blame] | 21 | #include <init.h> |
Andrew Boie | 82edb6e | 2017-10-02 10:53:06 -0700 | [diff] [blame] | 22 | #include <syscall_handler.h> |
Allan Stephens | e7d2cc2 | 2016-10-19 16:10:46 -0500 | [diff] [blame] | 23 | |
| 24 | extern struct k_msgq _k_msgq_list_start[]; |
| 25 | extern struct k_msgq _k_msgq_list_end[]; |
| 26 | |
Anas Nashif | 2f203c2 | 2016-12-18 06:57:45 -0500 | [diff] [blame] | 27 | #ifdef CONFIG_OBJECT_TRACING |
Allan Stephens | e7d2cc2 | 2016-10-19 16:10:46 -0500 | [diff] [blame] | 28 | |
Maciek Borzecki | 059544d | 2017-05-18 12:16:45 +0200 | [diff] [blame] | 29 | struct k_msgq *_trace_list_k_msgq; |
| 30 | |
Allan Stephens | e7d2cc2 | 2016-10-19 16:10:46 -0500 | [diff] [blame] | 31 | /* |
| 32 | * Complete initialization of statically defined message queues. |
| 33 | */ |
| 34 | static int init_msgq_module(struct device *dev) |
| 35 | { |
| 36 | ARG_UNUSED(dev); |
| 37 | |
| 38 | struct k_msgq *msgq; |
| 39 | |
| 40 | for (msgq = _k_msgq_list_start; msgq < _k_msgq_list_end; msgq++) { |
| 41 | SYS_TRACING_OBJ_INIT(k_msgq, msgq); |
| 42 | } |
| 43 | return 0; |
| 44 | } |
| 45 | |
Andrew Boie | 0b474ee | 2016-11-08 11:06:55 -0800 | [diff] [blame] | 46 | SYS_INIT(init_msgq_module, PRE_KERNEL_1, CONFIG_KERNEL_INIT_PRIORITY_OBJECTS); |
Allan Stephens | e7d2cc2 | 2016-10-19 16:10:46 -0500 | [diff] [blame] | 47 | |
Anas Nashif | 2f203c2 | 2016-12-18 06:57:45 -0500 | [diff] [blame] | 48 | #endif /* CONFIG_OBJECT_TRACING */ |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 49 | |
Andrew Boie | 0fe789f | 2018-04-12 18:35:56 -0700 | [diff] [blame] | 50 | void k_msgq_init(struct k_msgq *q, char *buffer, size_t msg_size, |
| 51 | u32_t max_msgs) |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 52 | { |
| 53 | q->msg_size = msg_size; |
| 54 | q->max_msgs = max_msgs; |
| 55 | q->buffer_start = buffer; |
| 56 | q->buffer_end = buffer + (max_msgs * msg_size); |
| 57 | q->read_ptr = buffer; |
| 58 | q->write_ptr = buffer; |
| 59 | q->used_msgs = 0; |
Andrew Boie | 0fe789f | 2018-04-12 18:35:56 -0700 | [diff] [blame] | 60 | q->flags = 0; |
Andy Ross | ccf3bf7 | 2018-05-10 11:10:34 -0700 | [diff] [blame] | 61 | _waitq_init(&q->wait_q); |
Allan Stephens | e7d2cc2 | 2016-10-19 16:10:46 -0500 | [diff] [blame] | 62 | SYS_TRACING_OBJ_INIT(k_msgq, q); |
Andrew Boie | 945af95 | 2017-08-22 13:15:23 -0700 | [diff] [blame] | 63 | |
| 64 | _k_object_init(q); |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 65 | } |
| 66 | |
Andrew Boie | 0fe789f | 2018-04-12 18:35:56 -0700 | [diff] [blame] | 67 | int _impl_k_msgq_alloc_init(struct k_msgq *q, size_t msg_size, |
| 68 | u32_t max_msgs) |
Andrew Boie | 82edb6e | 2017-10-02 10:53:06 -0700 | [diff] [blame] | 69 | { |
Andrew Boie | 0fe789f | 2018-04-12 18:35:56 -0700 | [diff] [blame] | 70 | void *buffer; |
| 71 | int ret; |
| 72 | size_t total_size; |
Andrew Boie | 82edb6e | 2017-10-02 10:53:06 -0700 | [diff] [blame] | 73 | |
Kumar Gala | 0776392 | 2018-07-25 12:38:05 -0500 | [diff] [blame] | 74 | if (__builtin_umul_overflow((unsigned int)msg_size, max_msgs, |
| 75 | (unsigned int *)&total_size)) { |
Andrew Boie | 0fe789f | 2018-04-12 18:35:56 -0700 | [diff] [blame] | 76 | ret = -EINVAL; |
| 77 | } else { |
| 78 | buffer = z_thread_malloc(total_size); |
Flavio Ceolin | ea716bf | 2018-09-20 16:30:45 -0700 | [diff] [blame] | 79 | if (buffer != NULL) { |
Andrew Boie | 0fe789f | 2018-04-12 18:35:56 -0700 | [diff] [blame] | 80 | k_msgq_init(q, buffer, msg_size, max_msgs); |
| 81 | q->flags = K_MSGQ_FLAG_ALLOC; |
| 82 | ret = 0; |
| 83 | } else { |
| 84 | ret = -ENOMEM; |
| 85 | } |
| 86 | } |
| 87 | |
| 88 | return ret; |
| 89 | } |
| 90 | |
| 91 | #ifdef CONFIG_USERSPACE |
Andrew Boie | 8345e5e | 2018-05-04 15:57:57 -0700 | [diff] [blame] | 92 | Z_SYSCALL_HANDLER(k_msgq_alloc_init, q, msg_size, max_msgs) |
Andrew Boie | 0fe789f | 2018-04-12 18:35:56 -0700 | [diff] [blame] | 93 | { |
Andrew Boie | 8345e5e | 2018-05-04 15:57:57 -0700 | [diff] [blame] | 94 | Z_OOPS(Z_SYSCALL_OBJ_NEVER_INIT(q, K_OBJ_MSGQ)); |
Andrew Boie | 0fe789f | 2018-04-12 18:35:56 -0700 | [diff] [blame] | 95 | |
| 96 | return _impl_k_msgq_alloc_init((struct k_msgq *)q, msg_size, max_msgs); |
Andrew Boie | 82edb6e | 2017-10-02 10:53:06 -0700 | [diff] [blame] | 97 | } |
| 98 | #endif |
| 99 | |
Andrew Boie | 0fe789f | 2018-04-12 18:35:56 -0700 | [diff] [blame] | 100 | void k_msgq_cleanup(struct k_msgq *q) |
| 101 | { |
Andy Ross | 3ce9c84 | 2018-05-18 13:06:13 -0700 | [diff] [blame] | 102 | __ASSERT_NO_MSG(!_waitq_head(&q->wait_q)); |
Andrew Boie | 0fe789f | 2018-04-12 18:35:56 -0700 | [diff] [blame] | 103 | |
| 104 | if (q->flags & K_MSGQ_FLAG_ALLOC) { |
| 105 | k_free(q->buffer_start); |
| 106 | q->flags &= ~K_MSGQ_FLAG_ALLOC; |
| 107 | } |
| 108 | } |
| 109 | |
| 110 | |
Andrew Boie | 82edb6e | 2017-10-02 10:53:06 -0700 | [diff] [blame] | 111 | int _impl_k_msgq_put(struct k_msgq *q, void *data, s32_t timeout) |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 112 | { |
Benjamin Walsh | 8215ce1 | 2016-11-09 19:45:19 -0500 | [diff] [blame] | 113 | __ASSERT(!_is_in_isr() || timeout == K_NO_WAIT, ""); |
| 114 | |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 115 | unsigned int key = irq_lock(); |
Benjamin Walsh | b7ef0cb | 2016-10-05 17:32:01 -0400 | [diff] [blame] | 116 | struct k_thread *pending_thread; |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 117 | int result; |
| 118 | |
| 119 | if (q->used_msgs < q->max_msgs) { |
| 120 | /* message queue isn't full */ |
| 121 | pending_thread = _unpend_first_thread(&q->wait_q); |
Flavio Ceolin | ea716bf | 2018-09-20 16:30:45 -0700 | [diff] [blame] | 122 | if (pending_thread != NULL) { |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 123 | /* give message to waiting thread */ |
Flavio Ceolin | 6699423 | 2018-08-13 15:17:04 -0700 | [diff] [blame] | 124 | (void)memcpy(pending_thread->base.swap_data, data, |
Benjamin Walsh | f6ca7de | 2016-11-08 10:36:50 -0500 | [diff] [blame] | 125 | q->msg_size); |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 126 | /* wake up waiting thread */ |
| 127 | _set_thread_return_value(pending_thread, 0); |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 128 | _ready_thread(pending_thread); |
Andy Ross | 15cb5d7 | 2018-04-02 18:40:10 -0700 | [diff] [blame] | 129 | _reschedule(key); |
Andy Ross | 8606fab | 2018-03-26 10:54:40 -0700 | [diff] [blame] | 130 | return 0; |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 131 | } else { |
| 132 | /* put message in queue */ |
Flavio Ceolin | 6699423 | 2018-08-13 15:17:04 -0700 | [diff] [blame] | 133 | (void)memcpy(q->write_ptr, data, q->msg_size); |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 134 | q->write_ptr += q->msg_size; |
| 135 | if (q->write_ptr == q->buffer_end) { |
| 136 | q->write_ptr = q->buffer_start; |
| 137 | } |
| 138 | q->used_msgs++; |
| 139 | } |
| 140 | result = 0; |
| 141 | } else if (timeout == K_NO_WAIT) { |
| 142 | /* don't wait for message space to become available */ |
| 143 | result = -ENOMSG; |
| 144 | } else { |
| 145 | /* wait for put message success, failure, or timeout */ |
Benjamin Walsh | f6ca7de | 2016-11-08 10:36:50 -0500 | [diff] [blame] | 146 | _current->base.swap_data = data; |
Andy Ross | e0a572b | 2018-03-26 11:58:10 -0700 | [diff] [blame] | 147 | return _pend_current_thread(key, &q->wait_q, timeout); |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 148 | } |
| 149 | |
| 150 | irq_unlock(key); |
| 151 | |
| 152 | return result; |
| 153 | } |
| 154 | |
Andrew Boie | 82edb6e | 2017-10-02 10:53:06 -0700 | [diff] [blame] | 155 | #ifdef CONFIG_USERSPACE |
Andrew Boie | 8345e5e | 2018-05-04 15:57:57 -0700 | [diff] [blame] | 156 | Z_SYSCALL_HANDLER(k_msgq_put, msgq_p, data, timeout) |
Andrew Boie | 82edb6e | 2017-10-02 10:53:06 -0700 | [diff] [blame] | 157 | { |
| 158 | struct k_msgq *q = (struct k_msgq *)msgq_p; |
Andrew Boie | 82edb6e | 2017-10-02 10:53:06 -0700 | [diff] [blame] | 159 | |
Andrew Boie | 8345e5e | 2018-05-04 15:57:57 -0700 | [diff] [blame] | 160 | Z_OOPS(Z_SYSCALL_OBJ(q, K_OBJ_MSGQ)); |
| 161 | Z_OOPS(Z_SYSCALL_MEMORY_READ(data, q->msg_size)); |
Andrew Boie | 82edb6e | 2017-10-02 10:53:06 -0700 | [diff] [blame] | 162 | |
| 163 | return _impl_k_msgq_put(q, (void *)data, timeout); |
| 164 | } |
| 165 | #endif |
| 166 | |
Youvedeep Singh | 188c1ab | 2018-03-19 20:02:40 +0530 | [diff] [blame] | 167 | void _impl_k_msgq_get_attrs(struct k_msgq *q, struct k_msgq_attrs *attrs) |
| 168 | { |
| 169 | attrs->msg_size = q->msg_size; |
| 170 | attrs->max_msgs = q->max_msgs; |
| 171 | attrs->used_msgs = q->used_msgs; |
| 172 | } |
| 173 | |
| 174 | #ifdef CONFIG_USERSPACE |
Andrew Boie | 8345e5e | 2018-05-04 15:57:57 -0700 | [diff] [blame] | 175 | Z_SYSCALL_HANDLER(k_msgq_get_attrs, msgq_p, attrs) |
Youvedeep Singh | 188c1ab | 2018-03-19 20:02:40 +0530 | [diff] [blame] | 176 | { |
| 177 | struct k_msgq *q = (struct k_msgq *)msgq_p; |
| 178 | |
Andrew Boie | 8345e5e | 2018-05-04 15:57:57 -0700 | [diff] [blame] | 179 | Z_OOPS(Z_SYSCALL_OBJ(q, K_OBJ_MSGQ)); |
| 180 | Z_OOPS(Z_SYSCALL_MEMORY_WRITE(attrs, sizeof(struct k_msgq_attrs))); |
Youvedeep Singh | 188c1ab | 2018-03-19 20:02:40 +0530 | [diff] [blame] | 181 | _impl_k_msgq_get_attrs(q, (struct k_msgq_attrs *) attrs); |
| 182 | return 0; |
| 183 | } |
| 184 | #endif |
| 185 | |
Andrew Boie | 82edb6e | 2017-10-02 10:53:06 -0700 | [diff] [blame] | 186 | int _impl_k_msgq_get(struct k_msgq *q, void *data, s32_t timeout) |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 187 | { |
Benjamin Walsh | 8215ce1 | 2016-11-09 19:45:19 -0500 | [diff] [blame] | 188 | __ASSERT(!_is_in_isr() || timeout == K_NO_WAIT, ""); |
| 189 | |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 190 | unsigned int key = irq_lock(); |
Benjamin Walsh | b7ef0cb | 2016-10-05 17:32:01 -0400 | [diff] [blame] | 191 | struct k_thread *pending_thread; |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 192 | int result; |
| 193 | |
| 194 | if (q->used_msgs > 0) { |
| 195 | /* take first available message from queue */ |
Flavio Ceolin | 6699423 | 2018-08-13 15:17:04 -0700 | [diff] [blame] | 196 | (void)memcpy(data, q->read_ptr, q->msg_size); |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 197 | q->read_ptr += q->msg_size; |
| 198 | if (q->read_ptr == q->buffer_end) { |
| 199 | q->read_ptr = q->buffer_start; |
| 200 | } |
| 201 | q->used_msgs--; |
| 202 | |
| 203 | /* handle first thread waiting to write (if any) */ |
| 204 | pending_thread = _unpend_first_thread(&q->wait_q); |
Flavio Ceolin | 4218d5f | 2018-09-17 09:39:51 -0700 | [diff] [blame] | 205 | if (pending_thread != NULL) { |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 206 | /* add thread's message to queue */ |
Flavio Ceolin | 6699423 | 2018-08-13 15:17:04 -0700 | [diff] [blame] | 207 | (void)memcpy(q->write_ptr, pending_thread->base.swap_data, |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 208 | q->msg_size); |
| 209 | q->write_ptr += q->msg_size; |
| 210 | if (q->write_ptr == q->buffer_end) { |
| 211 | q->write_ptr = q->buffer_start; |
| 212 | } |
| 213 | q->used_msgs++; |
| 214 | |
| 215 | /* wake up waiting thread */ |
| 216 | _set_thread_return_value(pending_thread, 0); |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 217 | _ready_thread(pending_thread); |
Andy Ross | 15cb5d7 | 2018-04-02 18:40:10 -0700 | [diff] [blame] | 218 | _reschedule(key); |
Andy Ross | 8606fab | 2018-03-26 10:54:40 -0700 | [diff] [blame] | 219 | return 0; |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 220 | } |
| 221 | result = 0; |
| 222 | } else if (timeout == K_NO_WAIT) { |
| 223 | /* don't wait for a message to become available */ |
| 224 | result = -ENOMSG; |
| 225 | } else { |
| 226 | /* wait for get message success or timeout */ |
Benjamin Walsh | f6ca7de | 2016-11-08 10:36:50 -0500 | [diff] [blame] | 227 | _current->base.swap_data = data; |
Andy Ross | e0a572b | 2018-03-26 11:58:10 -0700 | [diff] [blame] | 228 | return _pend_current_thread(key, &q->wait_q, timeout); |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 229 | } |
| 230 | |
| 231 | irq_unlock(key); |
| 232 | |
| 233 | return result; |
| 234 | } |
| 235 | |
Andrew Boie | 82edb6e | 2017-10-02 10:53:06 -0700 | [diff] [blame] | 236 | #ifdef CONFIG_USERSPACE |
Andrew Boie | 8345e5e | 2018-05-04 15:57:57 -0700 | [diff] [blame] | 237 | Z_SYSCALL_HANDLER(k_msgq_get, msgq_p, data, timeout) |
Andrew Boie | 82edb6e | 2017-10-02 10:53:06 -0700 | [diff] [blame] | 238 | { |
| 239 | struct k_msgq *q = (struct k_msgq *)msgq_p; |
Andrew Boie | 82edb6e | 2017-10-02 10:53:06 -0700 | [diff] [blame] | 240 | |
Andrew Boie | 8345e5e | 2018-05-04 15:57:57 -0700 | [diff] [blame] | 241 | Z_OOPS(Z_SYSCALL_OBJ(q, K_OBJ_MSGQ)); |
| 242 | Z_OOPS(Z_SYSCALL_MEMORY_WRITE(data, q->msg_size)); |
Andrew Boie | 82edb6e | 2017-10-02 10:53:06 -0700 | [diff] [blame] | 243 | |
| 244 | return _impl_k_msgq_get(q, (void *)data, timeout); |
| 245 | } |
| 246 | #endif |
| 247 | |
Sathish Kuttan | a8aa235 | 2018-11-09 21:04:36 -0800 | [diff] [blame^] | 248 | int _impl_k_msgq_peek(struct k_msgq *q, void *data) |
| 249 | { |
| 250 | unsigned int key = irq_lock(); |
| 251 | int result; |
| 252 | |
| 253 | if (q->used_msgs > 0) { |
| 254 | /* take first available message from queue */ |
| 255 | (void)memcpy(data, q->read_ptr, q->msg_size); |
| 256 | result = 0; |
| 257 | } else { |
| 258 | /* don't wait for a message to become available */ |
| 259 | result = -ENOMSG; |
| 260 | } |
| 261 | |
| 262 | irq_unlock(key); |
| 263 | |
| 264 | return result; |
| 265 | } |
| 266 | |
| 267 | #ifdef CONFIG_USERSPACE |
| 268 | Z_SYSCALL_HANDLER(k_msgq_peek, msgq_p, data) |
| 269 | { |
| 270 | struct k_msgq *q = (struct k_msgq *)msgq_p; |
| 271 | |
| 272 | Z_OOPS(Z_SYSCALL_OBJ(q, K_OBJ_MSGQ)); |
| 273 | Z_OOPS(Z_SYSCALL_MEMORY_WRITE(data, q->msg_size)); |
| 274 | |
| 275 | return _impl_k_msgq_peek(q, (void *)data); |
| 276 | } |
| 277 | #endif |
| 278 | |
Andrew Boie | 82edb6e | 2017-10-02 10:53:06 -0700 | [diff] [blame] | 279 | void _impl_k_msgq_purge(struct k_msgq *q) |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 280 | { |
| 281 | unsigned int key = irq_lock(); |
Benjamin Walsh | b7ef0cb | 2016-10-05 17:32:01 -0400 | [diff] [blame] | 282 | struct k_thread *pending_thread; |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 283 | |
Peter Mitsis | 340d00a | 2016-09-22 13:59:00 -0400 | [diff] [blame] | 284 | /* wake up any threads that are waiting to write */ |
| 285 | while ((pending_thread = _unpend_first_thread(&q->wait_q)) != NULL) { |
| 286 | _set_thread_return_value(pending_thread, -ENOMSG); |
Peter Mitsis | 340d00a | 2016-09-22 13:59:00 -0400 | [diff] [blame] | 287 | _ready_thread(pending_thread); |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 288 | } |
| 289 | |
Peter Mitsis | 340d00a | 2016-09-22 13:59:00 -0400 | [diff] [blame] | 290 | q->used_msgs = 0; |
| 291 | q->read_ptr = q->write_ptr; |
| 292 | |
Andy Ross | 15cb5d7 | 2018-04-02 18:40:10 -0700 | [diff] [blame] | 293 | _reschedule(key); |
Benjamin Walsh | 456c6da | 2016-09-02 18:55:39 -0400 | [diff] [blame] | 294 | } |
Andrew Boie | 82edb6e | 2017-10-02 10:53:06 -0700 | [diff] [blame] | 295 | |
| 296 | #ifdef CONFIG_USERSPACE |
Andrew Boie | 8345e5e | 2018-05-04 15:57:57 -0700 | [diff] [blame] | 297 | Z_SYSCALL_HANDLER1_SIMPLE_VOID(k_msgq_purge, K_OBJ_MSGQ, struct k_msgq *); |
| 298 | Z_SYSCALL_HANDLER1_SIMPLE(k_msgq_num_free_get, K_OBJ_MSGQ, struct k_msgq *); |
| 299 | Z_SYSCALL_HANDLER1_SIMPLE(k_msgq_num_used_get, K_OBJ_MSGQ, struct k_msgq *); |
Andrew Boie | 225e4c0 | 2017-10-12 09:54:26 -0700 | [diff] [blame] | 300 | #endif |