DB_RMT           1333 drivers/net/fddi/skfp/fplustm.c 		DB_RMT("RMT: fddiPATHT_Rmode expired");
DB_RMT           1352 drivers/net/fddi/skfp/fplustm.c 	DB_RMT("RMT: setting new fddiPATHT_Rmode, t = %d ns",
DB_RMT            146 drivers/net/fddi/skfp/rmt.c 		DB_RMT("RMT : state %s%s event %s",