Signed-off-by: Tim Deegan <Tim.Deegan@citrix.com>
uint64_t exitcode)
{
bool_t is_intercepted;
- struct nestedvcpu *nv = &vcpu_nestedhvm(v);
- ASSERT(nv->nv_vmexit_pending == 0);
+ ASSERT(vcpu_nestedhvm(v).nv_vmexit_pending == 0);
is_intercepted = nsvm_vmcb_guest_intercepts_exitcode(v, regs, exitcode);
switch (exitcode) {
#else
unsigned long hap_gva_to_gfn(GUEST_PAGING_LEVELS)(
- struct vcpu *v, unsigned long gva, uint32_t *pfec)
+ struct vcpu *v, struct p2m_domain *p2m, unsigned long gva, uint32_t *pfec)
{
gdprintk(XENLOG_ERR,
"Guest paging level is greater than host paging level!\n");