Nested HVM is not enabled when !CONFIG_HVM.
Signed-off-by: Wei Liu <wei.liu2@citrix.com>
Acked-by: George Dunlap <george.dunlap@citrix.com>
return paging_get_nestedmode(v);
}
+#ifdef CONFIG_HVM
void paging_update_nestedmode(struct vcpu *v)
{
ASSERT(nestedhvm_enabled(v->domain));
v->arch.paging.nestedmode = NULL;
hvm_asid_flush_vcpu(v);
}
+#endif
void paging_write_p2m_entry(struct p2m_domain *p2m, unsigned long gfn,
l1_pgentry_t *p, l1_pgentry_t new,