tree ef6dc319edb2eff96ca9790bab33c239b261c582
parent c40f2f8ff833eddc02cb599ef6e5a162223449ba
author Ard Biesheuvel <ard.biesheuvel@linaro.org> 1410990979 -0700
committer Christoffer Dall <christoffer.dall@linaro.org> 1412939257 +0200

ARM: 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>