TLB_REMOTE_SEND_IPI  668 arch/x86/mm/tlb.c 		trace_tlb_flush(TLB_REMOTE_SEND_IPI, TLB_FLUSH_ALL);
TLB_REMOTE_SEND_IPI  670 arch/x86/mm/tlb.c 		trace_tlb_flush(TLB_REMOTE_SEND_IPI,
TLB_REMOTE_SEND_IPI   16 include/trace/events/tlb.h 	EMe( TLB_REMOTE_SEND_IPI,	"remote ipi send" )