While emulating the INVEPT instruction in L0 VMM, the EPT pointer
should be fetched from the instruction decoding result, but not
the current loaded EPT pointer.
Signed-off-by: Dongxiao Xu <dongxiao.xu@intel.com>
Acked-by: Eddie Dong <eddie.dong@intel.com>
Committed-by: Jan Beulich <jbeulich@suse.com>
{
case INVEPT_SINGLE_CONTEXT:
{
- struct p2m_domain *p2m = vcpu_nestedhvm(current).nv_p2m;
+ struct p2m_domain *p2m = p2m_get_nestedp2m(current, eptp);
if ( p2m )
{
p2m_flush(current, p2m);