arm64: kvm: define PAGE_S2_DEVICE as read-only by default
authorArd Biesheuvel <ard.biesheuvel@linaro.org>
Wed, 17 Sep 2014 21:56:20 +0000 (14:56 -0700)
committerChristoffer Dall <christoffer.dall@linaro.org>
Fri, 10 Oct 2014 11:07:38 +0000 (13:07 +0200)
commit4a513fb009b96cf3d86491e00565367ceec29073
tree12c481c56a63e0d0652087d73b668e1d104881dd
parent903ed3a54df2f6234c50f696b8a3db78c26ea119
arm64: kvm: define PAGE_S2_DEVICE as read-only by default

Now that we support read-only memslots, we need to make sure that
pass-through device mappings are not mapped writable if the guest
has requested them to be read-only. The existing implementation
already honours this by calling kvm_set_s2pte_writable() on the new
pte in case of writable mappings, so all we need to do is define
the default pgprot_t value used for devices to be PTE_S2_RDONLY.

Acked-by: Marc Zyngier <marc.zyngier@arm.com>
Signed-off-by: Ard Biesheuvel <ard.biesheuvel@linaro.org>
Signed-off-by: Christoffer Dall <christoffer.dall@linaro.org>
arch/arm64/include/asm/pgtable.h