|
void * | work_space_start |
|
uint32_t | work_space_size |
|
uint32_t | maximum_tasks |
|
uint32_t | maximum_timers |
|
uint32_t | maximum_semaphores |
|
uint32_t | maximum_message_queues |
|
uint32_t | maximum_partitions |
|
uint32_t | maximum_regions |
|
uint32_t | maximum_ports |
|
uint32_t | maximum_periods |
|
uint32_t | maximum_extensions |
|
uint32_t | microseconds_per_tick |
|
uint32_t | ticks_per_timeslice |
|
uint32_t | number_of_initialization_tasks |
|
The documentation for this struct was generated from the following file: