Merge pull request #1482 from sandrine-bailleux-arm/sb/fix-hcptr
authordanh-arm <[email protected]>
Thu, 19 Jul 2018 10:36:58 +0000 (11:36 +0100)
committerGitHub <[email protected]>
Thu, 19 Jul 2018 10:36:58 +0000 (11:36 +0100)
Misc arch.h fixes and cleanup


Trivial merge