|
CHERIoT RTOS
A compartmentalised RTOS for CHERIoT hardware
|
Message to a thread pool. More...
#include <thread_pool.h>
Public Member Functions | |
| CHERI_SEALED (void *) data | |
| The data associated with the asynchronous invocation. | |
Public Attributes | |
| ThreadPoolCallback | invoke |
| The function pointer that will be called in the thread pool. | |
Message to a thread pool.
This encapsulates a simple closure that will be invoked in the next available thread in a thread pool.
Definition at line 30 of file thread_pool.h.
| ThreadPoolCallback ThreadPoolMessage::invoke |
The function pointer that will be called in the thread pool.
Definition at line 35 of file thread_pool.h.