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 [email protected] https://lists.cs.columbia.edu/mailman/listinfo/kvmarm
