diff options
Diffstat (limited to 'cpukit/score/include/rtems/score/wkspace.h')
| -rw-r--r-- | cpukit/score/include/rtems/score/wkspace.h | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/cpukit/score/include/rtems/score/wkspace.h b/cpukit/score/include/rtems/score/wkspace.h index c29b2dd4c9..c3a0700a01 100644 --- a/cpukit/score/include/rtems/score/wkspace.h +++ b/cpukit/score/include/rtems/score/wkspace.h @@ -70,10 +70,12 @@ void *_Workspace_Allocate( * * @param block is the memory to free * - * @return true if the free was successful. + * @note If @a block is equal to NULL, then the request is ignored. + * This allows the caller to not worry about whether or not + * a pointer is NULL. */ -bool _Workspace_Free( +void _Workspace_Free( void *block ); |