unmap_ptes is not complete

[Raz <raziebe@xxxxxxxxx>]

Hey

in mmu.c unmap_ptes() you invalidate *pte but not the pte itself. This leads to inconsistency in el2 translation tables. ie; the pte entry is cleared in the cached memory but not in the RAM, so the entry may still be valid in EL2 translation tables.

You should also clear pte itself.
 

Kind Regards

Raz

_______________________________________________
kvmarm mailing list
kvmarm@xxxxxxxxxxxxxxxxxxxxx
https://lists.cs.columbia.edu/mailman/listinfo/kvmarm