1812 static void __init set_page_prot(void *addr, pgprot_t prot)  in set_page_prot()  function
1861 		set_page_prot(&level1_ident_pgt[pteidx], PAGE_KERNEL_RO);  in xen_map_identity_early()
1863 	set_page_prot(pmd, PAGE_KERNEL_RO);  in xen_map_identity_early()
1980 		set_page_prot(init_level4_pgt, PAGE_KERNEL_RO);  in xen_setup_kernel_pagetable()
1981 		set_page_prot(level3_ident_pgt, PAGE_KERNEL_RO);  in xen_setup_kernel_pagetable()
1982 		set_page_prot(level3_kernel_pgt, PAGE_KERNEL_RO);  in xen_setup_kernel_pagetable()
1983 		set_page_prot(level3_user_vsyscall, PAGE_KERNEL_RO);  in xen_setup_kernel_pagetable()
1984 		set_page_prot(level2_ident_pgt, PAGE_KERNEL_RO);  in xen_setup_kernel_pagetable()
1985 		set_page_prot(level2_kernel_pgt, PAGE_KERNEL_RO);  in xen_setup_kernel_pagetable()
1986 		set_page_prot(level2_fixmap_pgt, PAGE_KERNEL_RO);  in xen_setup_kernel_pagetable()
1987 		set_page_prot(level1_fixmap_pgt, PAGE_KERNEL_RO);  in xen_setup_kernel_pagetable()
2229 	set_page_prot(swapper_kernel_pmd, PAGE_KERNEL_RO);  in xen_write_cr3_init()
2231 	set_page_prot(swapper_pg_dir, PAGE_KERNEL_RO);  in xen_write_cr3_init()
2237 	set_page_prot(initial_page_table, PAGE_KERNEL);  in xen_write_cr3_init()
2238 	set_page_prot(initial_kernel_pmd, PAGE_KERNEL);  in xen_write_cr3_init()
2286 	set_page_prot(initial_kernel_pmd, PAGE_KERNEL_RO);  in xen_setup_kernel_pagetable()
2287 	set_page_prot(initial_page_table, PAGE_KERNEL_RO);  in xen_setup_kernel_pagetable()
2288 	set_page_prot(empty_zero_page, PAGE_KERNEL_RO);  in xen_setup_kernel_pagetable()