Merge pull request #1270 from antonio-nino-diaz-arm/an/smc-unknown
authordavidcunado-arm <david.cunado@arm.com>
Tue, 20 Feb 2018 09:02:24 +0000 (09:02 +0000)
committerGitHub <noreply@github.com>
Tue, 20 Feb 2018 09:02:24 +0000 (09:02 +0000)
Redefine SMC_UNK as -1 instead of 0xFFFFFFFF


Trivial merge