tree 737ab0c3103b6174bfb57335d6e5ee930c465054
parent 7a1638ce4220d52e53d4114e34e4529161a3449c
author Gleb Natapov <gleb@redhat.com> 1375690034 +0300
committer Paolo Bonzini <pbonzini@redhat.com> 1375883860 +0200

nEPT: correctly check if remote tlb flush is needed for shadowed EPT tables

need_remote_flush() assumes that shadow page is in PT64 format, but
with addition of nested EPT this is no longer always true. Fix it by
bits definitions that depend on host shadow page type.

Reported-by: Xiao Guangrong <xiaoguangrong@linux.vnet.ibm.com>
Reviewed-by: Xiao Guangrong <xiaoguangrong@linux.vnet.ibm.com>
Signed-off-by: Gleb Natapov <gleb@redhat.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>