TLB_REMOTE_WRONG_CPU
trace_tlb_flush(TLB_REMOTE_WRONG_CPU, 0);
EMe( TLB_REMOTE_WRONG_CPU, "remote wrong CPU" )