fix(arch.h): fix TCR_EL2_TG1_4K constant value
TCR_EL2_TG1_4K is defined as 0x0, which is a reserved value.
This patch redefines it to 0x2, which is the right one.
Signed-off-by: Javier Almansa Sobrino <javier.almansasobrino@arm.com>
Change-Id: Ife9bd2c0630199b4811cc56c091eb0d9df985ff5
diff --git a/lib/arch/include/arch.h b/lib/arch/include/arch.h
index 131c411..b2c765c 100644
--- a/lib/arch/include/arch.h
+++ b/lib/arch/include/arch.h
@@ -116,7 +116,7 @@
#define TCR_EL2_TG1_SHIFT UL(30)
#define TCR_EL2_TG1_WIDTH UL(2)
-#define TCR_EL2_TG1_4K INPLACE(TCR_EL2_TG1, UL(0))
+#define TCR_EL2_TG1_4K INPLACE(TCR_EL2_TG1, UL(2))
#define TCR_EL2_IPS_SHIFT UL(32)
#define TCR_EL2_IPS_WIDTH UL(3)