set_page_prot_flags 1772 arch/x86/xen/mmu_pv.c 	return set_page_prot_flags(addr, prot, UVMF_NONE);
set_page_prot_flags 1855 arch/x86/xen/mmu_pv.c 		set_page_prot_flags((void *)addr, PAGE_KERNEL, UVMF_INVLPG);
set_page_prot_flags 1860 arch/x86/xen/mmu_pv.c 		set_page_prot_flags((void *)addr, PAGE_KERNEL, UVMF_INVLPG);