tree 39cd73b295de323467da374f2b06e443e0f89f7d
parent e011c663b9c786d115c0f45e5b0bfae0c39428d4
author Gleb Natapov <gleb@redhat.com> 1380102696 +0300
committer Paolo Bonzini <pbonzini@redhat.com> 1380525265 +0200

KVM: nVMX: Do not generate #DF if #PF happens during exception delivery into L2

If #PF happens during delivery of an exception into L2 and L1 also do
not have the page mapped in its shadow page table then L0 needs to
generate vmexit to L2 with original event in IDT_VECTORING_INFO, but
current code combines both exception and generates #DF instead. Fix that
by providing nVMX specific function to handle page faults during page
table walk that handles this case correctly.

Signed-off-by: Gleb Natapov <gleb@redhat.com>
Reviewed-by: Paolo Bonzini <pbonzini@redhat.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>