Lines Matching refs:shadow_pte
196 u64 *shadow_pte, u64 access_bits, gfn_t gfn)
198 ASSERT(*shadow_pte == 0);
200 *shadow_pte = (guest_pte & PT_PTE_COPY_MASK);
201 set_pte_common(vcpu, shadow_pte, guest_pte & PT_BASE_ADDR_MASK,
206 u64 *shadow_pte, u64 access_bits, gfn_t gfn)
210 ASSERT(*shadow_pte == 0);
216 *shadow_pte = guest_pde & PT_PTE_COPY_MASK;
217 set_pte_common(vcpu, shadow_pte, gaddr,
247 u64 shadow_pte;
293 shadow_pte = shadow_addr | PT_PRESENT_MASK | PT_ACCESSED_MASK
295 *shadow_ent = shadow_pte;
399 u64 *shadow_pte;
427 shadow_pte = FNAME(fetch)(vcpu, addr, &walker);
429 shadow_pte, *shadow_pte);
435 fixed = FNAME(fix_write_pf)(vcpu, shadow_pte, &walker, addr,
438 fixed = fix_read_pf(shadow_pte);
441 shadow_pte, *shadow_pte);
448 if (is_io_pte(*shadow_pte))