Symbol: UVMF_TLB_FLUSH
arch/x86/xen/mmu_pv.c
2291
flags = UVMF_TLB_FLUSH | UVMF_ALL;
arch/x86/xen/mmu_pv.c
778
level == PT_PGD ? UVMF_TLB_FLUSH : 0);
arch/x86/xen/mmu_pv.c
900
level == PT_PGD ? UVMF_TLB_FLUSH : 0);