Re: Debugging an inconsistent shadow page table

[Avi Kivity <avi@redhat.com>]

Jan Kiszka wrote:
> Out of curiosity: What's the mechanism to update the shadow table after
> swap-out/swap-in?
>   

With mmu notifiers, the kernel informs kvm that a host pte has been 
invalidated, kvm looks in its reverse mappings and drops any sptes that 
correspond to the same hva.

Without mmu notifiers, the page reference count is kept elevated, so the 
kernel can't swap anything which has an spte pointing to it.

In both cases, the spte is reestablished on first guest access (which 
may or may not be immediately after swapin).

-- 
error compiling committee.c: too many arguments to function