tree 41ad3d1c990fc48edafc1c394b43d0fb16abbc25
parent 37df6d94d489b1cd0d72a8f6d4932005cfbbb5ef
parent 16b4109eb81920200f18bd3b0c2a9333698b715f
author Dimitris Papastamos <dimitris.papastamos@arm.com> 1529930309 +0100
committer GitHub <noreply@github.com> 1529930309 +0100

Merge pull request #1448 from npoushin/npoushin/sgi575-coverity-fixes

npoushin/sgi575 coverity fixes