On Mon, Aug 24, 2015 at 02:42:05PM +0100, Mark Rutland wrote:
Currently we don't set the RES1 bits of TCR_EL2 and VTCR_EL2 when
configuring them, which could lead to unexpected behaviour when an
architectural meaning is defined for those bits.
Set the RES1 bits to avoid issues.
Currently we don't set the RES1 bits of TCR_EL2 and VTCR_EL2 when
configuring them, which could lead to unexpected behaviour when an
architectural meaning is defined for those bits.
Set the RES1 bits to avoid issues.
Signed-off-by: Mark Rutland mark.rutl...@arm.com
Cc: Catalin Marinas