1700 static void __init set_page_prot(void *addr, pgprot_t prot)  in set_page_prot()  function
1749 		set_page_prot(&level1_ident_pgt[pteidx], PAGE_KERNEL_RO);  in xen_map_identity_early()
1751 	set_page_prot(pmd, PAGE_KERNEL_RO);  in xen_map_identity_early()
1860 		set_page_prot(init_level4_pgt, PAGE_KERNEL_RO);  in xen_setup_kernel_pagetable()
1861 		set_page_prot(level3_ident_pgt, PAGE_KERNEL_RO);  in xen_setup_kernel_pagetable()
1862 		set_page_prot(level3_kernel_pgt, PAGE_KERNEL_RO);  in xen_setup_kernel_pagetable()
1863 		set_page_prot(level3_user_vsyscall, PAGE_KERNEL_RO);  in xen_setup_kernel_pagetable()
1864 		set_page_prot(level2_ident_pgt, PAGE_KERNEL_RO);  in xen_setup_kernel_pagetable()
1865 		set_page_prot(level2_kernel_pgt, PAGE_KERNEL_RO);  in xen_setup_kernel_pagetable()
1866 		set_page_prot(level2_fixmap_pgt, PAGE_KERNEL_RO);  in xen_setup_kernel_pagetable()
1867 		set_page_prot(level1_fixmap_pgt, PAGE_KERNEL_RO);  in xen_setup_kernel_pagetable()
1927 	set_page_prot(swapper_kernel_pmd, PAGE_KERNEL_RO);  in xen_write_cr3_init()
1929 	set_page_prot(swapper_pg_dir, PAGE_KERNEL_RO);  in xen_write_cr3_init()
1935 	set_page_prot(initial_page_table, PAGE_KERNEL);  in xen_write_cr3_init()
1936 	set_page_prot(initial_kernel_pmd, PAGE_KERNEL);  in xen_write_cr3_init()
1961 	set_page_prot(initial_kernel_pmd, PAGE_KERNEL_RO);  in xen_setup_kernel_pagetable()
1962 	set_page_prot(initial_page_table, PAGE_KERNEL_RO);  in xen_setup_kernel_pagetable()
1963 	set_page_prot(empty_zero_page, PAGE_KERNEL_RO);  in xen_setup_kernel_pagetable()