On 23/11/12 00:59, Christoffer Dall wrote: > From: Christoffer Dall <cdall@xxxxxxxxxxxxxxx> > > The set_pte_ext function orr'ed the RDONLY bit onto the PTEs, which is > bit[7], which is HAP[1] and causes writable access to the pages. So let me rephrase this to see if I got it correctly: - set_pte_ext checks that L_PTE_DIRTY is set - If not, it sets the L_PTE_RDONLY bit - Stage2 doesn't set any software bit, hence L_PTE_DIRTY is always clear - L_PTE_RDONLY maps to HAP[2], which controls the write permission. - Hence *all* Stage2 mappings are writable. - ... It's only 10am, and I already need a beer... M. -- Jazz is not dead. It just smells funny... _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/cucslists/listinfo/kvmarm
