Fix transposed cache attributes in MAIR_ATTR for ARM64
Signed-off-by: Michalis Pappas <Michalis.Pappas@opensynergy.com>
Acked-by: Renê de Souza Pinto <Rene.deSouzaPinto@opensynergy.com>
Reviewed-by: Răzvan Vîrtan <virtanrazvan@gmail.com>
Tested-by: Unikraft CI <monkey@unikraft.io>
GitHub-Pull-Request: #170
MAIR_ATTR(MAIR_DEVICE_nGnRE, DEVICE_nGnRE) | \
MAIR_ATTR(MAIR_DEVICE_GRE, DEVICE_GRE) | \
MAIR_ATTR(MAIR_NORMAL_NC, NORMAL_NC) | \
- MAIR_ATTR(MAIR_NORMAL_WB, NORMAL_WT) | \
- MAIR_ATTR(MAIR_NORMAL_WT, NORMAL_WB))
+ MAIR_ATTR(MAIR_NORMAL_WT, NORMAL_WT) | \
+ MAIR_ATTR(MAIR_NORMAL_WB, NORMAL_WB))
/* TCR_EL1 - Translation Control Register */
#define TCR_ASID_16 (1 << 36)