Merge pull request #1105 from antonio-nino-diaz-arm/an/epd1-bit
authordavidcunado-arm <david.cunado@arm.com>
Mon, 25 Sep 2017 22:34:28 +0000 (23:34 +0100)
committerGitHub <noreply@github.com>
Mon, 25 Sep 2017 22:34:28 +0000 (23:34 +0100)
commitc2280b37ea387dda5ebeb9e86f3dfbe39b5b0abc
tree2215475640a2d4519d5a0cd2e11ef34a0f6bd891
parent36f52843e17576d476b9005bb55aa49c5a52088d
parent3388b38dc3426d28aeeb2462ee5125ec983e9f3a
Merge pull request #1105 from antonio-nino-diaz-arm/an/epd1-bit

Set TCR_EL1.EPD1 bit to 1
include/lib/aarch64/arch.h