Merge pull request #1855 from dp-arm/dp/ssbs
authorAntonio Niño Díaz <antonio.ninodiaz@arm.com>
Tue, 5 Mar 2019 09:52:28 +0000 (09:52 +0000)
committerGitHub <noreply@github.com>
Tue, 5 Mar 2019 09:52:28 +0000 (09:52 +0000)
commitbf9e90c916b7220dfc0df18b26cd1be3b5b4ad5e
treebfe0bb8da5187cd9e935cf5ce406fce54490c053
parente70ce64c2e247c55ca85c0ca30b007eb3ae2419c
parent6ecfda52fcbbb8f2daa9bc2023617b7cb93aaf63
Merge pull request #1855 from dp-arm/dp/ssbs

Ensure proper ID register is checked for feature detection