Searched refs:guest_pde (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.h205 static void FNAME(set_pde)(struct kvm_vcpu *vcpu, u64 guest_pde, argument
211 access_bits &= guest_pde;
214 gaddr |= (guest_pde & PT32_DIR_PSE36_MASK) <<
216 *shadow_pte = guest_pde & PT_PTE_COPY_MASK;
218 guest_pde & PT_DIRTY_MASK, access_bits, gfn);

Completed in 47 milliseconds