Hi,

$subject says all, full log attached.

This is while playing with kexec where domU switches from one
self-consistent page table tree to a new self-consistent page table
tree, but the new page table tree does NOT map the old page table pages
read-only (and visa-versa).  In that (rare) case the verification of the
new page table tree happens with the idle page tables active.

cheers,

  Gerd

-- 
Gerd Hoffmann <kraxel@suse.de>
http://www.suse.de/~kraxel/julika-dora.jpeg