Merge pull request #1532 from jeenu-arm/misra-fixes
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Wed, 22 Aug 2018 09:25:41 +0000 (10:25 +0100)
committerGitHub <noreply@github.com>
Wed, 22 Aug 2018 09:25:41 +0000 (10:25 +0100)
MISRA fixes


Trivial merge