TLB_REMOTE_SEND_IPI
trace_tlb_flush(TLB_REMOTE_SEND_IPI, TLB_FLUSH_ALL);
trace_tlb_flush(TLB_REMOTE_SEND_IPI,
EM( TLB_REMOTE_SEND_IPI, "remote IPI send" ) \