Searched refs:guest_pte (Results 1 - 1 of 1) sorted by relevance

/netgear-WNDR4500-V1.0.1.40_1.0.68/src/linux/linux-2.6/drivers/kvm/
H A Dpaging_tmpl.h195 static void FNAME(set_pte)(struct kvm_vcpu *vcpu, u64 guest_pte, argument
199 access_bits &= guest_pte;
200 *shadow_pte = (guest_pte & PT_PTE_COPY_MASK);
201 set_pte_common(vcpu, shadow_pte, guest_pte & PT_BASE_ADDR_MASK,
202 guest_pte & PT_DIRTY_MASK, access_bits, gfn);

Completed in 107 milliseconds