Merge pull request #1705 from chandnich/platform-id
authorAntonio Nino Diaz <antonio.ninodiaz@arm.com>
Tue, 4 Dec 2018 14:04:52 +0000 (14:04 +0000)
committerAntonio Nino Diaz <antonio.ninodiaz@arm.com>
Tue, 4 Dec 2018 14:07:36 +0000 (14:07 +0000)
commitae4a99b9540ff4cf62719ef11e3d2d399dd64f74
tree4b63fdaaf57b181de111b252a234bd5ddade021a
parent6d422c3e2b80cf4de96b5ad824e84382be5fa52f
parent699223a282e29e9b37ee3096f7c6a832a20db350
Merge pull request #1705 from chandnich/platform-id

plat/arm/sgi: Use platform specific functions to get platform ids