xen_flush_tlb    1281 arch/x86/xen/enlighten.c 	.flush_tlb_user = xen_flush_tlb,
xen_flush_tlb    1282 arch/x86/xen/enlighten.c 	.flush_tlb_kernel = xen_flush_tlb,