Rusty Russell wrote: > Now, I haven't *seen* this happen... > Oh, maybe its because you already zap the shadows on tlb flush, and the kernel is careful to tlb flush every pagetable page before freeing... J