diff options
-rw-r--r-- | c/src/exec/score/src/wkspace.c | 2 | ||||
-rw-r--r-- | cpukit/score/src/wkspace.c | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/c/src/exec/score/src/wkspace.c b/c/src/exec/score/src/wkspace.c index 1dda9408bb..dd8865da52 100644 --- a/c/src/exec/score/src/wkspace.c +++ b/c/src/exec/score/src/wkspace.c @@ -43,7 +43,7 @@ void _Workspace_Handler_initialization( if ( _CPU_Table.do_zero_of_workspace ) { for( zero_out_array = (unsigned32 *) starting_address, index = 0 ; - index < size / 4 ; + index < size / sizeof( unsigned32 ) ; index++ ) zero_out_array[ index ] = 0; } diff --git a/cpukit/score/src/wkspace.c b/cpukit/score/src/wkspace.c index 1dda9408bb..dd8865da52 100644 --- a/cpukit/score/src/wkspace.c +++ b/cpukit/score/src/wkspace.c @@ -43,7 +43,7 @@ void _Workspace_Handler_initialization( if ( _CPU_Table.do_zero_of_workspace ) { for( zero_out_array = (unsigned32 *) starting_address, index = 0 ; - index < size / 4 ; + index < size / sizeof( unsigned32 ) ; index++ ) zero_out_array[ index ] = 0; } |