22 #ifndef _RTEMS_SCORE_WKSPACE_H 23 #define _RTEMS_SCORE_WKSPACE_H void _Workspace_Handler_initialization(void)
Initializes the workspace handler.
void _Workspace_Free(void *block)
Frees memory to the workspace.
Heap_Control _Workspace_Area
Executive workspace control.
void * _Workspace_Allocate(size_t size)
Allocates a memory block of the specified size from the workspace.
char * _Workspace_String_duplicate(const char *string, size_t len)
Duplicates string with memory from the workspace.
Control block used to manage a heap.