Fix 'unused parameter' warnings

in src/Platforms/GccNoStdC.
Merge pull request #446 from arstrube/fix_unused_parameters

Fix 'unused parameter' warnings