__set_pfn_prot   1648 arch/x86/xen/mmu_pv.c 			__set_pfn_prot(pfn, PAGE_KERNEL_RO);
__set_pfn_prot   1687 arch/x86/xen/mmu_pv.c 			__set_pfn_prot(pfn, PAGE_KERNEL);