[PATCH 08/14] arm64: kvm: Fix {V}TCR_EL2_TG0 mask

2015-08-13 Thread Suzuki K. Poulose
From: "Suzuki K. Poulose" {V}TCR_EL2_TG0 is a 2bit wide field, where: 00 - 4K 01 - 64K 10 - 16K But we use only 1 bit, which has worked well so far since we never cared about 16K. Fix it for 16K support. Cc: Catalin Marinas Cc: Will Deacon Cc: Marc Zyngier Cc: Christoffer Dall Cc:

[PATCH 08/14] arm64: kvm: Fix {V}TCR_EL2_TG0 mask

2015-08-13 Thread Suzuki K. Poulose
From: Suzuki K. Poulose suzuki.poul...@arm.com {V}TCR_EL2_TG0 is a 2bit wide field, where: 00 - 4K 01 - 64K 10 - 16K But we use only 1 bit, which has worked well so far since we never cared about 16K. Fix it for 16K support. Cc: Catalin Marinas catalin.mari...@arm.com Cc: Will Deacon