TLB_REMOTE_SHOOTDOWN
trace_tlb_flush(!local ? TLB_REMOTE_SHOOTDOWN :
EM( TLB_REMOTE_SHOOTDOWN, "remote shootdown" ) \