diff options
Diffstat (limited to 'cpukit/score/inline/rtems/score/wkspace.inl')
-rw-r--r-- | cpukit/score/inline/rtems/score/wkspace.inl | 22 |
1 files changed, 1 insertions, 21 deletions
diff --git a/cpukit/score/inline/rtems/score/wkspace.inl b/cpukit/score/inline/rtems/score/wkspace.inl index fee7623a6c..1d88843db8 100644 --- a/cpukit/score/inline/rtems/score/wkspace.inl +++ b/cpukit/score/inline/rtems/score/wkspace.inl @@ -11,7 +11,7 @@ * to the copyright license under the clause at DFARS 252.227-7013. This * notice must appear in all copies of this file and its derivatives. * - * $Id$ + * wkspace.inl,v 1.2 1995/05/31 16:48:49 joel Exp */ #ifndef __WORKSPACE_inl @@ -69,26 +69,6 @@ STATIC INLINE void *_Workspace_Allocate( /*PAGE * - * _Workspace_Allocate_or_fatal_error - * - */ - -STATIC INLINE void *_Workspace_Allocate_or_fatal_error( - unsigned32 size -) -{ - void *memory; - - memory = _Workspace_Allocate( size ); - - if ( memory == NULL ) - rtems_fatal_error_occurred( RTEMS_UNSATISFIED ); - - return memory; -} - -/*PAGE - * * _Workspace_Free * */ |