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)
Set TCR_EL1.EPD1 bit to 1

1  2 
include/lib/aarch64/arch.h

Simple merge