1770 static void __init set_page_prot(void *addr, pgprot_t prot)  in set_page_prot()  function
1819 		set_page_prot(&level1_ident_pgt[pteidx], PAGE_KERNEL_RO);  in xen_map_identity_early()
1821 	set_page_prot(pmd, PAGE_KERNEL_RO);  in xen_map_identity_early()
1947 	set_page_prot(init_top_pgt, PAGE_KERNEL_RO);  in xen_setup_kernel_pagetable()
1948 	set_page_prot(level3_ident_pgt, PAGE_KERNEL_RO);  in xen_setup_kernel_pagetable()
1949 	set_page_prot(level3_kernel_pgt, PAGE_KERNEL_RO);  in xen_setup_kernel_pagetable()
1950 	set_page_prot(level3_user_vsyscall, PAGE_KERNEL_RO);  in xen_setup_kernel_pagetable()
1951 	set_page_prot(level2_ident_pgt, PAGE_KERNEL_RO);  in xen_setup_kernel_pagetable()
1952 	set_page_prot(level2_kernel_pgt, PAGE_KERNEL_RO);  in xen_setup_kernel_pagetable()
1953 	set_page_prot(level2_fixmap_pgt, PAGE_KERNEL_RO);  in xen_setup_kernel_pagetable()
1956 		set_page_prot(level1_fixmap_pgt + i * PTRS_PER_PTE,  in xen_setup_kernel_pagetable()
2199 	set_page_prot(swapper_kernel_pmd, PAGE_KERNEL_RO);  in xen_write_cr3_init()
2201 	set_page_prot(swapper_pg_dir, PAGE_KERNEL_RO);  in xen_write_cr3_init()
2207 	set_page_prot(initial_page_table, PAGE_KERNEL);  in xen_write_cr3_init()
2208 	set_page_prot(initial_kernel_pmd, PAGE_KERNEL);  in xen_write_cr3_init()
2256 	set_page_prot(initial_kernel_pmd, PAGE_KERNEL_RO);  in xen_setup_kernel_pagetable()
2257 	set_page_prot(initial_page_table, PAGE_KERNEL_RO);  in xen_setup_kernel_pagetable()
2258 	set_page_prot(empty_zero_page, PAGE_KERNEL_RO);  in xen_setup_kernel_pagetable()