|
CHERIoT RTOS
A compartmentalised RTOS for CHERIoT hardware
|
This is the complete list of members for MessageQueue, including all inherited members.
| _Atomic(uint32_t) producer | MessageQueue | |
| _Atomic(uint32_t) consumer | MessageQueue | |
| elementSize | MessageQueue | |
| MessageQueue(size_t elementSize, size_t queueSize) (defined in MessageQueue) | MessageQueue | inline |
| queueSize | MessageQueue |