Re: [PATCH] arm64/kvm: set {v,}TCR_EL2 RES1 bits

2015-08-30 Thread Christoffer Dall
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.

[PATCH] arm64/kvm: set {v,}TCR_EL2 RES1 bits

2015-08-24 Thread Mark Rutland
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