hpa_t shadow_addr;
int level;
u64 *shadow_ent;
- u64 *prev_shadow_ent = NULL;
if (!is_present_pte(walker->pte))
return NULL;
if (level == PT_PAGE_TABLE_LEVEL)
break;
shadow_addr = *shadow_ent & PT64_BASE_ADDR_MASK;
- prev_shadow_ent = shadow_ent;
continue;
}
shadow_pte = shadow_addr | PT_PRESENT_MASK | PT_ACCESSED_MASK
| PT_WRITABLE_MASK | PT_USER_MASK;
*shadow_ent = shadow_pte;
- prev_shadow_ent = shadow_ent;
}
FNAME(set_pte)(vcpu, walker->pte, shadow_ent,