davidcunado-arm c2280b37ea Merge pull request #1105 from antonio-nino-diaz-arm/an/epd1-bit ... Set TCR_EL1.EPD1 bit to 1		2017-09-25 23:34:28 +01:00
..
arch.h	Merge pull request #1105 from antonio-nino-diaz-arm/an/epd1-bit	2017-09-25 23:34:28 +01:00
arch_helpers.h	aarch64: Enable Statistical Profiling Extensions for lower ELs	2017-06-22 10:33:19 +01:00
smcc_helpers.h	include: add U()/ULL() macros for constants	2017-06-14 17:00:30 -07:00