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

/netgear-WNDR4500-V1.0.1.40_1.0.68/src/linux/linux-2.6/drivers/kvm/
H A Dpaging_tmpl.h196 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; local
293 shadow_pte
195 set_pte(struct kvm_vcpu *vcpu, u64 guest_pte, u64 *shadow_pte, u64 access_bits, gfn_t gfn) argument
205 set_pde(struct kvm_vcpu *vcpu, u64 guest_pde, u64 *shadow_pte, u64 access_bits, gfn_t gfn) argument
399 u64 *shadow_pte; local
[all...]
H A Dmmu.c955 u64 *shadow_pte,
963 *shadow_pte |= access_bits << PT_SHADOW_BITS_OFFSET;
969 *shadow_pte |= access_bits;
972 *shadow_pte |= gaddr;
973 *shadow_pte |= PT_SHADOW_IO_MARK;
974 *shadow_pte &= ~PT_PRESENT_MASK;
978 *shadow_pte |= paddr;
988 if (is_writeble_pte(*shadow_pte)) {
989 *shadow_pte &= ~PT_WRITABLE_MASK;
998 page_header_update_slot(vcpu->kvm, shadow_pte, gadd
954 set_pte_common(struct kvm_vcpu *vcpu, u64 *shadow_pte, gpa_t gaddr, int dirty, u64 access_bits, gfn_t gfn) argument
[all...]
/netgear-WNDR4500-V1.0.1.40_1.0.68/src/linux/linux-2.6/include/asm-s390/
H A Dpgalloc.h166 pte_t *shadow_pte = get_shadow_pte(pte); local
169 if (shadow_pmd && shadow_pte)
170 pmd_populate_kernel(mm, shadow_pmd, shadow_pte);
185 pte_t *shadow_pte = (pte_t *) local
189 if (!shadow_pte) {
193 page->lru.next = (void *) shadow_pte;
213 pte_t *shadow_pte = get_shadow_pte(pte); local
215 if (shadow_pte)
216 free_page((unsigned long) shadow_pte);
H A Dpgtable.h422 pte_t *shadow_pte = get_shadow_pte(pteptr); local
425 if (shadow_pte) {
428 pte_val(*shadow_pte) = pte_val(pteval) | _PAGE_RO;
430 pte_val(*shadow_pte) = _PAGE_TYPE_EMPTY;
601 pte_t *shadow_pte = get_shadow_pte(ptep); local
604 if (shadow_pte)
605 pte_val(*shadow_pte) = _PAGE_TYPE_EMPTY;
723 pte_t *shadow_pte = get_shadow_pte(ptep); local
726 if (shadow_pte)
727 __ptep_ipte(address, shadow_pte);
[all...]

Completed in 106 milliseconds