CHERIoT RTOS
A compartmentalised RTOS for CHERIoT hardware
Loading...
Searching...
No Matches
ThreadPoolMessage Struct Reference

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.

Detailed Description

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.

Member Data Documentation

◆ invoke

ThreadPoolCallback ThreadPoolMessage::invoke

The function pointer that will be called in the thread pool.

Definition at line 35 of file thread_pool.h.


The documentation for this struct was generated from the following file: