UVMF_INVLPG      1855 arch/x86/xen/mmu_pv.c 		set_page_prot_flags((void *)addr, PAGE_KERNEL, UVMF_INVLPG);
UVMF_INVLPG      1860 arch/x86/xen/mmu_pv.c 		set_page_prot_flags((void *)addr, PAGE_KERNEL, UVMF_INVLPG);
UVMF_INVLPG      2527 arch/x86/xen/mmu_pv.c 				flags = UVMF_INVLPG | UVMF_ALL;