Lines Matching refs:shadow_pte
422 pte_t *shadow_pte = get_shadow_pte(pteptr);
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);
604 if (shadow_pte)
605 pte_val(*shadow_pte) = _PAGE_TYPE_EMPTY;
723 pte_t *shadow_pte = get_shadow_pte(ptep);
726 if (shadow_pte)
727 __ptep_ipte(address, shadow_pte);