Keir Fraser wrote: > Changing from read-only to writable is more exciting. You get a spurious > page fault when the CPU finds the read-only TLB entry on your first write > access. The CPU does throw away the TLB entry at that point though, so the > fault handler can do nothing and yet still make progress. That's guaranteed. > Do you mean the tlb entry gets invalidated as part of raising the fault? Do you know where this is documented? Thanks, J