DB_RMT
DB_RMT("RMT: fddiPATHT_Rmode expired");
DB_RMT("RMT: setting new fddiPATHT_Rmode, t = %d ns",
DB_RMT("RMT : state %s%s event %s",