Etienne Carriere 634e4d2be6 aarch32: add missing dmb() macro ...

Signed-off-by: Etienne Carriere <etienne.carriere@linaro.org>

2017-11-08 14:42:04 +01:00

..

arch_helpers.h

aarch32: add missing dmb() macro

2017-11-08 14:42:04 +01:00

arch.h

ARMv7 architecture have specific system registers

2017-11-08 13:49:36 +01:00

smcc_helpers.h

Init and save / restore of PMCR_EL0 / PMCR

2017-10-13 09:48:48 +01:00

smcc_macros.S

ARMv7 may not support Virtualization Extensions

2017-11-08 14:38:33 +01:00