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 D | paging_tmpl.h | 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; 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 D | mmu.c | 955 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 D | pgalloc.h | 166 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 D | pgtable.h | 422 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