diff options
Diffstat (limited to 'c/src/exec/score/headers/wkspace.h')
-rw-r--r-- | c/src/exec/score/headers/wkspace.h | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/c/src/exec/score/headers/wkspace.h b/c/src/exec/score/headers/wkspace.h index cb82852ca5..9814a707b1 100644 --- a/c/src/exec/score/headers/wkspace.h +++ b/c/src/exec/score/headers/wkspace.h @@ -33,6 +33,19 @@ extern "C" { EXTERN Heap_Control _Workspace_Area; /* executive heap header */ /* + * _Workspace_Handler_initialization + * + * DESCRIPTION: + * + * This routine performs the initialization necessary for this handler. + */ + +void _Workspace_Handler_initialization( + void *starting_address, + unsigned32 size +); + +/* * _Workspace_Allocate_or_fatal_error * * DESCRIPTION: |