On 27.03.23 20:19, Mathias Krause wrote: > We already have tests that verify a write access to an r/o page is > successful when CR0.WP=0, but we lack a test that explicitly verifies > that the same access will fail after we set CR0.WP=1 without flushing > any associated TLB entries either explicitly (INVLPG) or implicitly > (write to CR3). Add such a test. This test is insufficient to test all corner cases, as noted in [1]. Especially the emulator needs to be tested as well. I'll send a v2 soon! Mathias