UVMF_TLB_FLUSH    771 arch/x86/xen/mmu_pv.c 					level == PT_PGD ? UVMF_TLB_FLUSH : 0);
UVMF_TLB_FLUSH    908 arch/x86/xen/mmu_pv.c 					level == PT_PGD ? UVMF_TLB_FLUSH : 0);
UVMF_TLB_FLUSH   2529 arch/x86/xen/mmu_pv.c 				flags = UVMF_TLB_FLUSH | UVMF_ALL;