Lines Matching defs:ptep
19 static pte_basic_t pte_update_delta(pte_t *ptep, unsigned long addr,
22 return pte_update(&init_mm, addr, ptep, old & ~new, new & ~old, 0);
31 static int change_page_attr(pte_t *ptep, unsigned long addr, void *data)
40 pte_update_delta(ptep, addr, _PAGE_KERNEL_RW & ~_PAGE_DIRTY, _PAGE_KERNEL_RO);
44 pte_update_delta(ptep, addr, _PAGE_KERNEL_RW & ~_PAGE_DIRTY, _PAGE_KERNEL_ROX);
47 pte_update_delta(ptep, addr, _PAGE_KERNEL_RO, _PAGE_KERNEL_RW);
50 pte_update_delta(ptep, addr, _PAGE_KERNEL_ROX, _PAGE_KERNEL_RO);
53 pte_update_delta(ptep, addr, _PAGE_KERNEL_RO, _PAGE_KERNEL_ROX);
56 pte_update(&init_mm, addr, ptep, _PAGE_PRESENT, 0, 0);
59 pte_update(&init_mm, addr, ptep, 0, _PAGE_PRESENT, 0);