Lines Matching refs:set_page_prot
1685 static void set_page_prot(void *addr, pgprot_t prot)
1735 set_page_prot(&level1_ident_pgt[pteidx], PAGE_KERNEL_RO);
1737 set_page_prot(pmd, PAGE_KERNEL_RO);
1791 set_page_prot(init_level4_pgt, PAGE_KERNEL_RO);
1792 set_page_prot(level3_ident_pgt, PAGE_KERNEL_RO);
1793 set_page_prot(level3_kernel_pgt, PAGE_KERNEL_RO);
1794 set_page_prot(level3_user_vsyscall, PAGE_KERNEL_RO);
1795 set_page_prot(level2_kernel_pgt, PAGE_KERNEL_RO);
1796 set_page_prot(level2_fixmap_pgt, PAGE_KERNEL_RO);
1845 set_page_prot(level2_kernel_pgt, PAGE_KERNEL_RO);
1846 set_page_prot(swapper_pg_dir, PAGE_KERNEL_RO);
1847 set_page_prot(empty_zero_page, PAGE_KERNEL_RO);