diff options
Diffstat (limited to 'cpukit/score/src/wkspace.c')
| -rw-r--r-- | cpukit/score/src/wkspace.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/cpukit/score/src/wkspace.c b/cpukit/score/src/wkspace.c index ebb71f3297..591427cb64 100644 --- a/cpukit/score/src/wkspace.c +++ b/cpukit/score/src/wkspace.c @@ -27,7 +27,7 @@ */ void _Workspace_Handler_initialization( void *starting_address, - size_t size + ssize_t size ) { uint32_t memory_available; @@ -61,7 +61,7 @@ void _Workspace_Handler_initialization( * _Workspace_Allocate */ void *_Workspace_Allocate( - size_t size + ssize_t size ) { return _Heap_Allocate( &_Workspace_Area, size ); @@ -81,7 +81,7 @@ bool _Workspace_Free( * _Workspace_Allocate_or_fatal_error */ void *_Workspace_Allocate_or_fatal_error( - size_t size + ssize_t size ) { void *memory; |