Symbol: xen_flush_tlb
arch/x86/xen/mmu_pv.c
2198
pv_ops.mmu.flush_tlb_user = xen_flush_tlb;
arch/x86/xen/mmu_pv.c
2199
pv_ops.mmu.flush_tlb_kernel = xen_flush_tlb;