aboutsummaryrefslogtreecommitdiffstats
path: root/arch/arm/kvm
diff options
context:
space:
mode:
authorMarc Zyngier <marc.zyngier@arm.com>2016-04-28 11:16:31 -0400
committerChristoffer Dall <christoffer.dall@linaro.org>2016-04-29 07:46:14 -0400
commitd4b9e0790aa764c0b01e18d4e8d33e93ba36d51f (patch)
tree7c68840b2597a9403763465ddea994547b22c855 /arch/arm/kvm
parent02e0b7600f8350078f01328095c20dd715700921 (diff)
arm/arm64: KVM: Enforce Break-Before-Make on Stage-2 page tables
The ARM architecture mandates that when changing a page table entry from a valid entry to another valid entry, an invalid entry is first written, TLB invalidated, and only then the new entry being written. The current code doesn't respect this, directly writing the new entry and only then invalidating TLBs. Let's fix it up. Cc: <stable@vger.kernel.org> Reported-by: Christoffer Dall <christoffer.dall@linaro.org> Signed-off-by: Marc Zyngier <marc.zyngier@arm.com> Signed-off-by: Christoffer Dall <christoffer.dall@linaro.org>
Diffstat (limited to 'arch/arm/kvm')
-rw-r--r--arch/arm/kvm/mmu.c17
1 files changed, 11 insertions, 6 deletions
diff --git a/arch/arm/kvm/mmu.c b/arch/arm/kvm/mmu.c
index 42eefab3e8e1..74b5d199f6b7 100644
--- a/arch/arm/kvm/mmu.c
+++ b/arch/arm/kvm/mmu.c
@@ -910,11 +910,14 @@ static int stage2_set_pmd_huge(struct kvm *kvm, struct kvm_mmu_memory_cache
910 VM_BUG_ON(pmd_present(*pmd) && pmd_pfn(*pmd) != pmd_pfn(*new_pmd)); 910 VM_BUG_ON(pmd_present(*pmd) && pmd_pfn(*pmd) != pmd_pfn(*new_pmd));
911 911
912 old_pmd = *pmd; 912 old_pmd = *pmd;
913 kvm_set_pmd(pmd, *new_pmd); 913 if (pmd_present(old_pmd)) {
914 if (pmd_present(old_pmd)) 914 pmd_clear(pmd);
915 kvm_tlb_flush_vmid_ipa(kvm, addr); 915 kvm_tlb_flush_vmid_ipa(kvm, addr);
916 else 916 } else {
917 get_page(virt_to_page(pmd)); 917 get_page(virt_to_page(pmd));
918 }
919
920 kvm_set_pmd(pmd, *new_pmd);
918 return 0; 921 return 0;
919} 922}
920 923
@@ -963,12 +966,14 @@ static int stage2_set_pte(struct kvm *kvm, struct kvm_mmu_memory_cache *cache,
963 966
964 /* Create 2nd stage page table mapping - Level 3 */ 967 /* Create 2nd stage page table mapping - Level 3 */
965 old_pte = *pte; 968 old_pte = *pte;
966 kvm_set_pte(pte, *new_pte); 969 if (pte_present(old_pte)) {
967 if (pte_present(old_pte)) 970 kvm_set_pte(pte, __pte(0));
968 kvm_tlb_flush_vmid_ipa(kvm, addr); 971 kvm_tlb_flush_vmid_ipa(kvm, addr);
969 else 972 } else {
970 get_page(virt_to_page(pte)); 973 get_page(virt_to_page(pte));
974 }
971 975
976 kvm_set_pte(pte, *new_pte);
972 return 0; 977 return 0;
973} 978}
974 979