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;