diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-02-13 11:34:34 +0100 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-02-17 08:03:55 +0100 |
commit | 88c40ef8d8b0ad89dd6155b5ce1dc9bb733de4b6 (patch) | |
tree | a44d6829cae037ab3d6fe0de17d38c3692cfe9b8 /cpukit/score | |
parent | f53473fa67b453813e43340fb654385b621c07c8 (diff) |
score: Remove unused _Workspace_Allocate_aligned()
Diffstat (limited to 'cpukit/score')
-rw-r--r-- | cpukit/score/src/wkspace.c | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/cpukit/score/src/wkspace.c b/cpukit/score/src/wkspace.c index fbdb0b0ba9..049b857953 100644 --- a/cpukit/score/src/wkspace.c +++ b/cpukit/score/src/wkspace.c @@ -132,11 +132,6 @@ void *_Workspace_Allocate( return memory; } -void *_Workspace_Allocate_aligned( size_t size, size_t alignment ) -{ - return _Heap_Allocate_aligned( &_Workspace_Area, size, alignment ); -} - /* * _Workspace_Free */ |